sig
  val interf : string -> MLast.sig_item list -> Parsetree.signature
  val implem : string -> MLast.str_item list -> Parsetree.structure
  val phrase : MLast.str_item -> Parsetree.toplevel_phrase
  val mkloc : Ploc.t -> Location.t
  val fast : bool Pervasives.ref
  val no_constructors_arity : bool Pervasives.ref
end