package camlp5

  1. Overview
  2. Docs
val syntax_name : string ref
type status = Ploc.t option
type !'a ast_transducer_t = {
  1. name : string;
  2. parse : (char Stream.t -> 'a) option ref;
  3. transform : ('a -> 'a) option ref;
}
val set_ast_parse : 'a ast_transducer_t -> (char Stream.t -> 'a) -> unit
val set_ast_transform : 'a ast_transducer_t -> ('a -> 'a) -> unit
val transduce : 'a ast_transducer_t -> char Stream.t -> 'a
val transduce_interf : ((MLast.sig_item * MLast.loc) list * status) ast_transducer_t
val transduce_implem : ((MLast.str_item * MLast.loc) list * status) ast_transducer_t
val transduce_top_phrase : MLast.str_item option ast_transducer_t
val transduce_use_file : (MLast.str_item list * bool) ast_transducer_t
val parse_interf : char Stream.t -> (MLast.sig_item * MLast.loc) list * status
val parse_implem : char Stream.t -> (MLast.str_item * MLast.loc) list * status
val parse_top_phrase : char Stream.t -> MLast.str_item option
val parse_use_file : char Stream.t -> MLast.str_item list * bool
val gram : Grammar.g
val top_phrase : MLast.str_item option Grammar.Entry.e
val use_file : (MLast.str_item list * bool) Grammar.Entry.e
val longident_lident : MLast.longid_lident Grammar.Entry.e
val extended_longident : MLast.longid Grammar.Entry.e
val extension_constructor : MLast.extension_constructor Grammar.Entry.e
val constructor_declaration : MLast.generic_constructor Grammar.Entry.e
val label_declaration : (MLast.loc * string * bool * MLast.ctyp * MLast.attributes) Grammar.Entry.e
val class_expr_simple : MLast.class_expr Grammar.Entry.e
val alg_attribute : MLast.attribute Grammar.Entry.e
val alg_attributes : MLast.attributes Grammar.Entry.e
val ext_attributes : ((Ploc.t * string) option * MLast.attributes_no_anti) Grammar.Entry.e
val input_file : string ref
val output_file : string option ref
val quotation_dump_file : string option ref
val quotation_location : unit -> Ploc.t
val version : string
val ocaml_version : string
val add_option : string -> Arg.spec -> string -> unit
val no_constructors_arity : bool ref
val string_of_loc : string -> int -> int -> int -> string
type err_ctx =
  1. | Finding
  2. | Expanding
  3. | ParsingResult of Ploc.t * string
exception Qerror of string * string * err_ctx * exn
val expand_quotation : Ploc.t -> (string -> 'b) -> int -> string -> string -> 'b
val handle_expr_quotation : MLast.loc -> (string * string) -> MLast.expr
val handle_patt_quotation : MLast.loc -> (string * string) -> MLast.patt
val print_interf : (((MLast.sig_item * MLast.loc) list * MLast.loc) -> unit) ref
val print_implem : (((MLast.str_item * MLast.loc) list * MLast.loc) -> unit) ref
val pr_expr : MLast.expr Eprinter.t
val pr_patt : MLast.patt Eprinter.t
val pr_ctyp : MLast.ctyp Eprinter.t
val pr_str_item : MLast.str_item Eprinter.t
val pr_sig_item : MLast.sig_item Eprinter.t
val pr_longident : MLast.longid Eprinter.t
val pr_module_expr : MLast.module_expr Eprinter.t
val pr_module_type : MLast.module_type Eprinter.t
val pr_class_sig_item : MLast.class_sig_item Eprinter.t
val pr_class_str_item : MLast.class_str_item Eprinter.t
val pr_class_type : MLast.class_type Eprinter.t
val pr_class_expr : MLast.class_expr Eprinter.t
val pr_expr_fun_args : (MLast.expr, MLast.patt list * MLast.expr) Extfun.t ref
val inter_phrases : string option ref
type directive_fun = MLast.expr option -> unit
val add_directive : string -> directive_fun -> unit
val find_directive : string -> directive_fun
val eq_expr : MLast.expr -> MLast.expr -> bool
val eq_patt : MLast.patt -> MLast.patt -> bool
val eq_ctyp : MLast.ctyp -> MLast.ctyp -> bool
val eq_str_item : MLast.str_item -> MLast.str_item -> bool
val eq_sig_item : MLast.sig_item -> MLast.sig_item -> bool
val eq_module_expr : MLast.module_expr -> MLast.module_expr -> bool
val eq_module_type : MLast.module_type -> MLast.module_type -> bool
val eq_class_sig_item : MLast.class_sig_item -> MLast.class_sig_item -> bool
val eq_class_str_item : MLast.class_str_item -> MLast.class_str_item -> bool
val eq_class_type : MLast.class_type -> MLast.class_type -> bool
val eq_class_expr : MLast.class_expr -> MLast.class_expr -> bool
val greek_ascii_equiv : string -> string
val strict_mode : bool ref
val unvala : 'a Ploc.vala -> 'a
val vala_map : ('a -> 'b) -> 'a Ploc.vala -> 'b Ploc.vala
val vala_it : ('a -> unit) -> 'a Ploc.vala -> unit
val vala_mapa : ('a -> 'b) -> (string -> 'b) -> 'a Ploc.vala -> 'b
val warning : (Ploc.t -> string -> unit) ref
val arg_spec_list : unit -> (string * Arg.spec * string) list
val report_error : exn -> unit
val sync : (char Stream.t -> unit) ref
val patt_reloc : (MLast.loc -> MLast.loc) -> int -> MLast.patt -> MLast.patt
val expr_reloc : (MLast.loc -> MLast.loc) -> int -> MLast.expr -> MLast.expr
val rename_id : (string -> string) ref
val flag_comments_in_phrases : bool ref
val flag_equilibrate_cases : bool ref
val flag_expand_letop_syntax : bool ref