sig
  val convert : tyname:string -> loc:string -> (string -> 'a) -> string -> 'a
  val to_int : loc:string -> string -> int
  val to_float : loc:string -> string -> float
end