package camlp4

  1. Overview
  2. Docs
package camlp4
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module Loc : sig ... end
module Ast : sig ... end
module Token : sig ... end
module Gram : sig ... end
module Quotation : sig ... end
module AntiquotSyntax : sig ... end
type warning = Loc.t -> string -> unit
val default_warning : warning
val current_warning : warning ref
val print_warning : warning
val parse_implem : ?directive_handler:(Ast.str_item -> Ast.str_item option) -> Ast.loc -> char Stream.t -> Ast.str_item
val parse_interf : ?directive_handler:(Ast.sig_item -> Ast.sig_item option) -> Ast.loc -> char Stream.t -> Ast.sig_item
val print_interf : ?input_file:string -> ?output_file:string -> Ast.sig_item -> unit
val print_implem : ?input_file:string -> ?output_file:string -> Ast.str_item -> unit
val interf : (Ast.sig_item list * Loc.t option) Gram.Entry.t
val implem : (Ast.str_item list * Loc.t option) Gram.Entry.t
val top_phrase : Ast.str_item option Gram.Entry.t
val use_file : (Ast.str_item list * Loc.t option) Gram.Entry.t
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 match_case_quot : Ast.match_case Gram.Entry.t
val binding_quot : Ast.binding Gram.Entry.t
val rec_binding_quot : Ast.rec_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_expr_quot : 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_sig_item_quot : 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_str_item_quot : 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 class_type_quot : 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_quot : 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_eoi : Ast.expr Gram.Entry.t
val expr_quot : 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_quot : Ast.ident 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_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_binding_quot : Ast.module_binding Gram.Entry.t
val module_declaration : Ast.module_type Gram.Entry.t
val module_expr : Ast.module_expr Gram.Entry.t
val module_expr_quot : 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 module_type_quot : 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_override : Ast.override_flag Gram.Entry.t
val override_flag_quot : Ast.override_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_nonrec : 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_when_expr : Ast.expr Gram.Entry.t
val patt_as_patt_opt : Ast.patt Gram.Entry.t
val patt_eoi : Ast.patt Gram.Entry.t
val patt_quot : Ast.patt Gram.Entry.t
val patt_tcon : Ast.patt 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_item_quot : 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_item_quot : Ast.str_item Gram.Entry.t
val str_items : Ast.str_item Gram.Entry.t
val type_constraint : unit Gram.Entry.t
val type_declaration : Ast.ctyp Gram.Entry.t
val type_ident_and_parameters : (Ast.ident * 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 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 with_constr_quot : Ast.with_constr 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 MetaLoc = Ast.Meta.MetaGhostLoc
module MetaAst : sig ... end
module PP : sig ... end
val pp : PP.printer
val string_of_patt : PP.Ast.patt -> string
val split_ext : bool ref
type loc = Loc.t
type !'e name = {
  1. expr : 'e;
  2. tvar : string;
  3. loc : loc;
}
type styp =
  1. | STlid of loc * string
  2. | STapp of loc * styp * styp
  3. | STquo of loc * string
  4. | STself of loc * string
  5. | STtok of loc
  6. | STstring_tok of loc
  7. | STtyp of Ast.ctyp
type (!'e, !'p) text =
  1. | TXmeta of loc * string * ('e, 'p) text list * 'e * styp
  2. | TXlist of loc * bool * ('e, 'p) symbol * ('e, 'p) symbol option
  3. | TXnext of loc
  4. | TXnterm of loc * 'e name * string option
  5. | TXopt of loc * ('e, 'p) text
  6. | TXtry of loc * ('e, 'p) text
  7. | TXrules of loc * (('e, 'p) text list * 'e) list
  8. | TXself of loc
  9. | TXkwd of loc * string
  10. | TXtok of loc * 'e * string
and (!'e, !'p) entry = {
  1. name : 'e name;
  2. pos : 'e option;
  3. levels : ('e, 'p) level list;
}
and (!'e, !'p) level = {
  1. label : string option;
  2. assoc : 'e option;
  3. rules : ('e, 'p) rule list;
}
and (!'e, !'p) rule = {
  1. prod : ('e, 'p) symbol list;
  2. action : 'e option;
}
and (!'e, !'p) symbol = {
  1. used : string list;
  2. text : ('e, 'p) text;
  3. styp : styp;
  4. pattern : 'p option;
}
type used =
  1. | Unused
  2. | UsedScanned
  3. | UsedNotScanned
val _loc : Loc.t
val gm : string
val mark_used : bool ref -> ('a, used ref * 'b) Hashtbl.t -> 'a -> unit
val mark_symbol : bool ref -> (string, used ref * 'a) Hashtbl.t -> ('b, 'c) symbol -> unit
val check_use : 'a name list -> (Ast.expr, 'b) entry list -> unit
val new_type_var : unit -> string
val used_of_rule_list : ('a, 'b) rule list -> string list
val retype_rule_list_without_patterns : Ast.loc -> (Ast.expr, Ast.patt) rule list -> (Ast.expr, Ast.patt) rule list
val meta_action : bool ref
val mklistexp : Ast.loc -> Ast.expr list -> Ast.expr
val mklistpat : Ast.loc -> Ast.patt list -> Ast.patt
val expr_fa : Ast.expr list -> Ast.expr -> Ast.expr * Ast.expr list
val make_ctyp : styp -> string -> Ast.ctyp
val make_ctyp_patt : styp -> string -> Ast.patt -> Ast.patt
val make_ctyp_expr : styp -> string -> Ast.expr -> Ast.expr
val text_of_action : Ast.loc -> ('a, Ast.patt) symbol list -> string -> Ast.expr option -> string -> Ast.expr
val srules : Ast.loc -> string -> (Ast.expr, Ast.patt) rule list -> string -> ((Ast.expr, Ast.patt) text list * Ast.expr) list
val make_expr : Ast.expr name -> string -> (Ast.expr, 'a) text -> Ast.expr
val make_expr_rules : loc -> Ast.expr name -> ((Ast.expr, 'a) text list * Ast.expr) list -> string -> Ast.expr
val expr_of_delete_rule : Ast.loc -> Ast.expr name -> (Ast.expr, 'a) symbol list -> Ast.expr * Ast.expr
val tvar_of_ident : Ast.ident -> string
val mk_name : Ast.loc -> Ast.ident -> Ast.expr name
val slist : loc -> bool -> ('a, 'b) symbol option -> ('a, 'b) symbol -> ('a, 'b) text
val text_of_entry : Ast.loc -> (Ast.expr, Ast.patt) entry -> Ast.expr * Ast.expr * Ast.expr
val let_in_of_extend : Ast.loc -> Ast.ident option -> Ast.expr name list option -> (Ast.expr, 'a) entry list -> Ast.expr -> Ast.expr
class subst : Ast.ident -> object ... end
val subst_gmod : Ast.expr -> Ast.ident -> Ast.expr
val text_of_functorial_extend : Ast.loc -> Ast.ident -> Ast.ident option -> Ast.expr name list option -> (Ast.expr, Ast.patt) entry list -> Ast.expr
val wildcarder : Ast.map
val mk_tok : Ast.loc -> Ast.patt -> styp -> (Ast.expr, Ast.patt) symbol
val check_not_tok : ('a, 'b) symbol -> unit
val sfold : loc -> string -> string -> Ast.expr -> Ast.expr -> (Ast.expr, 'a) symbol -> (Ast.expr, 'a) symbol
val sfoldsep : loc -> string -> string -> Ast.expr -> Ast.expr -> (Ast.expr, 'a) symbol -> (Ast.expr, 'a) symbol -> (Ast.expr, 'a) symbol