sig
  val to_string : string Calc.t -> string
  val of_string : string -> string Calc.t
end