Functor Camlp4.PreCast.MakeSyntax

module MakeSyntax: 
functor (U : sig
end) -> Camlp4.OCamlInitSyntax.Make(Ast)(Gram)(Quotation)

module Loc: Ast.Loc

module Ast: Ast

module Gram: Gram

module Token: Gram.Token

type warning = Loc.t -> string -> unit 

val default_warning : Loc.t -> string -> unit

val current_warning : (Loc.t -> string -> unit) Pervasives.ref

val print_warning : Loc.t -> string -> unit

val a_CHAR : string Gram.Entry.t

val a_FLOAT : string Gram.Entry.t

val a_INT : string Gram.Entry.t

val a_INT32 : string Gram.Entry.t

val a_INT64 : string Gram.Entry.t

val a_LABEL : string Gram.Entry.t

val a_LIDENT : string Gram.Entry.t

val a_NATIVEINT : string Gram.Entry.t

val a_OPTLABEL : string Gram.Entry.t

val a_STRING : string Gram.Entry.t

val a_UIDENT : string Gram.Entry.t

val a_ident : string Gram.Entry.t

val amp_ctyp : Ast.ctyp Gram.Entry.t

val and_ctyp : Ast.ctyp Gram.Entry.t

val match_case : Ast.match_case
       Gram.Entry.t

val match_case0 : Ast.match_case
       Gram.Entry.t

val binding : Ast.binding
       Gram.Entry.t

val class_declaration : Ast.class_expr
       Gram.Entry.t

val class_description : Ast.class_type
       Gram.Entry.t

val class_expr : Ast.class_expr
       Gram.Entry.t

val class_fun_binding : Ast.class_expr
       Gram.Entry.t

val class_fun_def : Ast.class_expr
       Gram.Entry.t

val class_info_for_class_expr : Ast.class_expr
       Gram.Entry.t

val class_info_for_class_type : Ast.class_type
       Gram.Entry.t

val class_longident : Ast.ident
       Gram.Entry.t

val class_longident_and_param : Ast.class_expr
       Gram.Entry.t

val class_name_and_param : (string * Ast.ctyp)
       Gram.Entry.t

val class_sig_item : Ast.class_sig_item
       Gram.Entry.t

val class_signature : Ast.class_sig_item
       Gram.Entry.t

val class_str_item : Ast.class_str_item
       Gram.Entry.t

val class_structure : Ast.class_str_item
       Gram.Entry.t

val class_type : Ast.class_type
       Gram.Entry.t

val class_type_declaration : Ast.class_type
       Gram.Entry.t

val class_type_longident : Ast.ident
       Gram.Entry.t

val class_type_longident_and_param : Ast.class_type
       Gram.Entry.t

val class_type_plus : Ast.class_type
       Gram.Entry.t

val comma_ctyp : Ast.ctyp Gram.Entry.t

val comma_expr : Ast.expr Gram.Entry.t

val comma_ipatt : Ast.patt Gram.Entry.t

val comma_patt : Ast.patt Gram.Entry.t

val comma_type_parameter : Ast.ctyp Gram.Entry.t

val constrain : (Ast.ctyp * Ast.ctyp)
       Gram.Entry.t

val constructor_arg_list : Ast.ctyp Gram.Entry.t

val constructor_declaration : Ast.ctyp Gram.Entry.t

val constructor_declarations : Ast.ctyp Gram.Entry.t

val ctyp : Ast.ctyp Gram.Entry.t

val cvalue_binding : Ast.expr Gram.Entry.t

val direction_flag : Ast.direction_flag
       Gram.Entry.t

val direction_flag_quot : Ast.direction_flag
       Gram.Entry.t

val dummy : unit Gram.Entry.t

val eq_expr : (string ->
        Ast.patt -> Ast.patt)
       Gram.Entry.t

val expr : Ast.expr Gram.Entry.t

val expr_eoi : Ast.expr Gram.Entry.t

val field_expr : Ast.rec_binding
       Gram.Entry.t

val field_expr_list : Ast.rec_binding
       Gram.Entry.t

val fun_binding : Ast.expr Gram.Entry.t

val fun_def : Ast.expr Gram.Entry.t

val ident : Ast.ident
       Gram.Entry.t

val implem : (Ast.str_item list *
        Gram.Loc.t option)
       Gram.Entry.t

val interf : (Ast.sig_item list *
        Gram.Loc.t option)
       Gram.Entry.t

val ipatt : Ast.patt Gram.Entry.t

val ipatt_tcon : Ast.patt Gram.Entry.t

val label : string Gram.Entry.t

val label_declaration : Ast.ctyp Gram.Entry.t

val label_declaration_list : Ast.ctyp Gram.Entry.t

val label_expr : Ast.rec_binding
       Gram.Entry.t

val label_expr_list : Ast.rec_binding
       Gram.Entry.t

val label_ipatt : Ast.patt Gram.Entry.t

val label_ipatt_list : Ast.patt Gram.Entry.t

val label_longident : Ast.ident
       Gram.Entry.t

val label_patt : Ast.patt Gram.Entry.t

val label_patt_list : Ast.patt Gram.Entry.t

val labeled_ipatt : Ast.patt Gram.Entry.t

val let_binding : Ast.binding
       Gram.Entry.t

val meth_list : (Ast.ctyp *
        Ast.row_var_flag)
       Gram.Entry.t

val meth_decl : Ast.ctyp Gram.Entry.t

val module_binding : Ast.module_binding
       Gram.Entry.t

val module_binding0 : Ast.module_expr
       Gram.Entry.t

val module_declaration : Ast.module_type
       Gram.Entry.t

val module_expr : Ast.module_expr
       Gram.Entry.t

val module_longident : Ast.ident
       Gram.Entry.t

val module_longident_with_app : Ast.ident
       Gram.Entry.t

val module_rec_declaration : Ast.module_binding
       Gram.Entry.t

val module_type : Ast.module_type
       Gram.Entry.t

val package_type : Ast.module_type
       Gram.Entry.t

val more_ctyp : Ast.ctyp Gram.Entry.t

val name_tags : Ast.ctyp Gram.Entry.t

val opt_as_lident : string Gram.Entry.t

val opt_class_self_patt : Ast.patt Gram.Entry.t

val opt_class_self_type : Ast.ctyp Gram.Entry.t

val opt_comma_ctyp : Ast.ctyp Gram.Entry.t

val opt_dot_dot : Ast.row_var_flag
       Gram.Entry.t

val row_var_flag_quot : Ast.row_var_flag
       Gram.Entry.t

val opt_eq_ctyp : Ast.ctyp Gram.Entry.t

val opt_expr : Ast.expr Gram.Entry.t

val opt_meth_list : Ast.ctyp Gram.Entry.t

val opt_mutable : Ast.mutable_flag
       Gram.Entry.t

val mutable_flag_quot : Ast.mutable_flag
       Gram.Entry.t

val opt_polyt : Ast.ctyp Gram.Entry.t

val opt_private : Ast.private_flag
       Gram.Entry.t

val private_flag_quot : Ast.private_flag
       Gram.Entry.t

val opt_rec : Ast.rec_flag
       Gram.Entry.t

val rec_flag_quot : Ast.rec_flag
       Gram.Entry.t

val opt_virtual : Ast.virtual_flag
       Gram.Entry.t

val virtual_flag_quot : Ast.virtual_flag
       Gram.Entry.t

val opt_override : Ast.override_flag
       Gram.Entry.t

val override_flag_quot : Ast.override_flag
       Gram.Entry.t

val opt_when_expr : Ast.expr Gram.Entry.t

val patt : Ast.patt Gram.Entry.t

val patt_as_patt_opt : Ast.patt Gram.Entry.t

val patt_eoi : Ast.patt Gram.Entry.t

val patt_tcon : Ast.patt Gram.Entry.t

val phrase : Ast.str_item
       Gram.Entry.t

val poly_type : Ast.ctyp Gram.Entry.t

val row_field : Ast.ctyp Gram.Entry.t

val sem_expr : Ast.expr Gram.Entry.t

val sem_expr_for_list : (Ast.expr -> Ast.expr)
       Gram.Entry.t

val sem_patt : Ast.patt Gram.Entry.t

val sem_patt_for_list : (Ast.patt -> Ast.patt)
       Gram.Entry.t

val semi : unit Gram.Entry.t

val sequence : Ast.expr Gram.Entry.t

val do_sequence : Ast.expr Gram.Entry.t

val sig_item : Ast.sig_item
       Gram.Entry.t

val sig_items : Ast.sig_item
       Gram.Entry.t

val star_ctyp : Ast.ctyp Gram.Entry.t

val str_item : Ast.str_item
       Gram.Entry.t

val str_items : Ast.str_item
       Gram.Entry.t

val top_phrase : Ast.str_item option
       Gram.Entry.t

val type_constraint : unit Gram.Entry.t

val type_declaration : Ast.ctyp Gram.Entry.t

val type_ident_and_parameters : (string * Ast.ctyp list)
       Gram.Entry.t

val type_kind : Ast.ctyp Gram.Entry.t

val type_longident : Ast.ident
       Gram.Entry.t

val type_longident_and_parameters : Ast.ctyp Gram.Entry.t

val type_parameter : Ast.ctyp Gram.Entry.t

val type_parameters : (Ast.ctyp -> Ast.ctyp)
       Gram.Entry.t

val typevars : Ast.ctyp Gram.Entry.t

val use_file : (Ast.str_item list *
        Loc.t option)
       Gram.Entry.t

val val_longident : Ast.ident
       Gram.Entry.t

val value_let : unit Gram.Entry.t

val value_val : unit Gram.Entry.t

val with_constr : Ast.with_constr
       Gram.Entry.t

val expr_quot : Ast.expr Gram.Entry.t

val patt_quot : Ast.patt Gram.Entry.t

val ctyp_quot : Ast.ctyp Gram.Entry.t

val str_item_quot : Ast.str_item
       Gram.Entry.t

val sig_item_quot : Ast.sig_item
       Gram.Entry.t

val class_str_item_quot : Ast.class_str_item
       Gram.Entry.t

val class_sig_item_quot : Ast.class_sig_item
       Gram.Entry.t

val module_expr_quot : Ast.module_expr
       Gram.Entry.t

val module_type_quot : Ast.module_type
       Gram.Entry.t

val class_type_quot : Ast.class_type
       Gram.Entry.t

val class_expr_quot : Ast.class_expr
       Gram.Entry.t

val with_constr_quot : Ast.with_constr
       Gram.Entry.t

val binding_quot : Ast.binding
       Gram.Entry.t

val rec_binding_quot : Ast.rec_binding
       Gram.Entry.t

val match_case_quot : Ast.match_case
       Gram.Entry.t

val module_binding_quot : Ast.module_binding
       Gram.Entry.t

val ident_quot : Ast.ident
       Gram.Entry.t

val prefixop : Ast.expr Gram.Entry.t

val infixop0 : Ast.expr Gram.Entry.t

val infixop1 : Ast.expr Gram.Entry.t

val infixop2 : Ast.expr Gram.Entry.t

val infixop3 : Ast.expr Gram.Entry.t

val infixop4 : Ast.expr Gram.Entry.t

module AntiquotSyntax: sig .. end

module Quotation: Quotation

val parse_implem : ?directive_handler:(Ast.str_item ->
                           Ast.str_item option) ->
       Gram.Loc.t ->
       char Stream.t -> Ast.str_item

val parse_interf : ?directive_handler:(Ast.sig_item ->
                           Ast.sig_item option) ->
       Gram.Loc.t ->
       char Stream.t -> Ast.sig_item

val print_interf : ?input_file:'a -> ?output_file:'b -> 'c -> 'd

val print_implem : ?input_file:'a -> ?output_file:'b -> 'c -> 'd