Functor Camlp4.PreCast.MakeSyntax


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

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