Structure UC_ASCII_Encode

signature UC_ASCII_Encode =
sig

  val encode : string -> string
  val decode : string -> string

end

HOL 4, Trindemossen-1