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