xref: /seL4-l4v-master/HOL4/help/src-sml/Symbolic.sig

signature Symbolic =
sig
  val unsymb : string -> string
  val tosymb : string -> string
end