Module Camlp4.PreCast.Ast


module Ast: Camlp4.Struct.Camlp4Ast.Make(Loc)

module Loc: Loc
include Ast
val loc_of_ctyp : ctyp -> Loc.t
val loc_of_patt : patt -> Loc.t
val loc_of_expr : expr -> Loc.t
val loc_of_module_type : module_type -> Loc.t
val loc_of_module_expr : module_expr -> Loc.t
val loc_of_sig_item : sig_item -> Loc.t
val loc_of_str_item : str_item -> Loc.t
val loc_of_class_type : class_type -> Loc.t
val loc_of_class_sig_item : class_sig_item -> Loc.t
val loc_of_class_expr : class_expr -> Loc.t
val loc_of_class_str_item : class_str_item -> Loc.t
val loc_of_with_constr : with_constr -> Loc.t
val loc_of_binding : binding -> Loc.t
val loc_of_rec_binding : rec_binding -> Loc.t
val loc_of_module_binding : module_binding -> Loc.t
val loc_of_match_case : match_case -> Loc.t
val loc_of_ident : ident -> Loc.t
val ident_of_expr : Ast.expr ->
Ast.ident
val ident_of_ctyp : Ast.ctyp ->
Ast.ident
val ident_of_patt : Ast.patt ->
Ast.ident
val is_irrefut_patt : Ast.patt -> bool
val is_constructor : Ast.ident -> bool
val is_patt_constructor : Ast.patt -> bool
val is_expr_constructor : Ast.expr -> bool
val tyOr_of_list : Ast.ctyp list ->
Ast.ctyp
val tyAnd_of_list : Ast.ctyp list ->
Ast.ctyp
val tySem_of_list : Ast.ctyp list ->
Ast.ctyp
val tyCom_of_list : Ast.ctyp list ->
Ast.ctyp
val tyAmp_of_list : Ast.ctyp list ->
Ast.ctyp
val tySta_of_list : Ast.ctyp list ->
Ast.ctyp
val stSem_of_list : Ast.str_item list ->
Ast.str_item
val sgSem_of_list : Ast.sig_item list ->
Ast.sig_item
val biAnd_of_list : Ast.binding list ->
Ast.binding
val rbSem_of_list : Ast.rec_binding list ->
Ast.rec_binding
val wcAnd_of_list : Ast.with_constr list ->
Ast.with_constr
val idAcc_of_list : ident list -> ident
val idApp_of_list : ident list -> ident
val mcOr_of_list : Ast.match_case list ->
Ast.match_case
val mbAnd_of_list : Ast.module_binding list ->
Ast.module_binding
val meApp_of_list : module_expr list -> module_expr
val ceAnd_of_list : Ast.class_expr list ->
Ast.class_expr
val ctAnd_of_list : Ast.class_type list ->
Ast.class_type
val cgSem_of_list : Ast.class_sig_item list ->
Ast.class_sig_item
val crSem_of_list : Ast.class_str_item list ->
Ast.class_str_item
val paSem_of_list : Ast.patt list ->
Ast.patt
val paCom_of_list : Ast.patt list ->
Ast.patt
val exSem_of_list : Ast.expr list ->
Ast.expr
val exCom_of_list : Ast.expr list ->
Ast.expr
val ty_of_stl : Ast.loc * string *
Ast.ctyp list ->
Ast.ctyp
val ty_of_sbt : Ast.loc * string * bool *
Ast.ctyp ->
Ast.ctyp
val bi_of_pe : patt * Ast.expr ->
Ast.binding
val sum_type_of_list : (Ast.loc * string *
Ast.ctyp list)
list -> Ast.ctyp
val record_type_of_list : (Ast.loc * string * bool *
Ast.ctyp)
list -> Ast.ctyp
val binding_of_pel : (patt * Ast.expr) list ->
Ast.binding
val pel_of_binding : Ast.binding ->
(Ast.patt *
Ast.expr)
list
val list_of_binding : Ast.binding ->
Ast.binding list ->
Ast.binding list
val list_of_rec_binding : Ast.rec_binding ->
Ast.rec_binding list ->
Ast.rec_binding list
val list_of_with_constr : Ast.with_constr ->
Ast.with_constr list ->
Ast.with_constr list
val list_of_ctyp : Ast.ctyp ->
Ast.ctyp list ->
Ast.ctyp list
val list_of_patt : Ast.patt ->
Ast.patt list ->
Ast.patt list
val list_of_expr : Ast.expr ->
Ast.expr list ->
Ast.expr list
val list_of_str_item : Ast.str_item ->
Ast.str_item list ->
Ast.str_item list
val list_of_sig_item : Ast.sig_item ->
Ast.sig_item list ->
Ast.sig_item list
val list_of_class_sig_item : Ast.class_sig_item ->
Ast.class_sig_item list ->
Ast.class_sig_item list
val list_of_class_str_item : Ast.class_str_item ->
Ast.class_str_item list ->
Ast.class_str_item list
val list_of_class_type : Ast.class_type ->
Ast.class_type list ->
Ast.class_type list
val list_of_class_expr : Ast.class_expr ->
Ast.class_expr list ->
Ast.class_expr list
val list_of_module_expr : Ast.module_expr ->
Ast.module_expr list ->
Ast.module_expr list
val list_of_match_case : Ast.match_case ->
Ast.match_case list ->
Ast.match_case list
val list_of_ident : Ast.ident ->
Ast.ident list ->
Ast.ident list
val list_of_module_binding : Ast.module_binding ->
Ast.module_binding list ->
Ast.module_binding list
module Meta: sig .. end
class map : object .. end
class fold : object .. end
val map_expr : (expr -> expr) -> map
val map_patt : (patt -> patt) -> map
val map_ctyp : (ctyp -> ctyp) -> map
val map_str_item : (str_item -> str_item) -> map
val map_sig_item : (sig_item -> sig_item) -> map
val map_loc : (loc -> loc) -> map