sig
  val if_some : 'a option -> ('-> '-> 'b) -> '-> 'b
  val fold : ('-> '-> 'a) -> '-> 'b list -> 'a
  val ctyp : AstGettextMatch.t -> MLast.ctyp -> AstGettextMatch.t
  val row_field : AstGettextMatch.t -> MLast.row_field -> AstGettextMatch.t
  val class_infos :
    (AstGettextMatch.t -> '-> 'b) ->
    AstGettextMatch.t -> 'MLast.class_infos -> 'b
  val patt : AstGettextMatch.t -> MLast.patt -> AstGettextMatch.t
  val expr : AstGettextMatch.t -> MLast.expr -> AstGettextMatch.t
  val module_type :
    AstGettextMatch.t -> MLast.module_type -> AstGettextMatch.t
  val sig_item : AstGettextMatch.t -> MLast.sig_item -> AstGettextMatch.t
  val with_constr :
    AstGettextMatch.t -> MLast.with_constr -> AstGettextMatch.t
  val module_expr :
    AstGettextMatch.t -> MLast.module_expr -> AstGettextMatch.t
  val str_item : AstGettextMatch.t -> MLast.str_item -> AstGettextMatch.t
  val type_decl : AstGettextMatch.t -> MLast.type_decl -> AstGettextMatch.t
  val class_type : AstGettextMatch.t -> MLast.class_type -> AstGettextMatch.t
  val class_sig_item :
    AstGettextMatch.t -> MLast.class_sig_item -> AstGettextMatch.t
  val class_expr : AstGettextMatch.t -> MLast.class_expr -> AstGettextMatch.t
  val class_str_item :
    AstGettextMatch.t -> MLast.class_str_item -> AstGettextMatch.t
  val interf :
    AstGettextMatch.t ->
    (MLast.sig_item * MLast.loc) list -> AstGettextMatch.t
  val implem :
    AstGettextMatch.t ->
    (MLast.str_item * MLast.loc) list -> AstGettextMatch.t
end