sig   val ocamlc : unit -> string   val var_define : OASISTypes.name -> unit -> string end