Structure TermCoding


Source File Identifier index Theory binding index

signature TermCoding =
sig

  val encode : Term.term -> string
  val decode : string -> Term.term option
  val reader : Term.term Coding.reader

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10