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