package camlp5

  1. Overview
  2. Docs
type (!'a, !'b) choice =
  1. | Left of 'a
  2. | Right of 'b
val option_map : ('a -> 'b) -> 'a option -> 'b option
val mustSome : string -> 'a option -> 'a
val mustLeft : string -> ('a, 'b) choice -> 'a
val mustRight : string -> ('a, 'b) choice -> 'b
val ocaml_name : string
val sys_ocaml_version : string
val to_ghost_loc : Location.t -> Location.t
val ocaml_location : (string * int * int * int * int * int * int) -> Location.t
val loc_none : Location.t
val mkloc : Location.t -> 'a -> 'a Location.loc
val mknoloc : 'a -> 'a Location.loc
val ocaml_id_or_li_of_string_list : 'a -> string list -> Longident.t option
val not_extended_longident : Longident.t -> bool
val list_map_check : ('a -> 'b option) -> 'a list -> 'b list option
val split_on_char : char -> string -> string list
val labelled : string -> Asttypes.arg_label
val ocaml_value_description : ?item_attributes:Parsetree.attributes -> string -> Parsetree.core_type -> string list -> Parsetree.value_description
val ocaml_class_type_field : ?item_attributes:Parsetree.attributes -> Location.t -> Parsetree.class_type_field_desc -> Parsetree.class_type_field
val ocaml_class_field : ?item_attributes:Parsetree.attributes -> Location.t -> Parsetree.class_field_desc -> Parsetree.class_field
val ocaml_mktyp : ?alg_attributes:'a list -> Location.t -> Parsetree.core_type_desc -> Parsetree.core_type
val ocaml_attribute_implem : 'a -> 'b -> 'c -> 'd
val ocaml_attribute_interf : 'a -> 'b -> 'c -> 'd
val ocaml_attribute_type : 'a -> 'b -> 'c -> 'd
val ocaml_attribute_patt : 'a -> 'b -> 'c -> 'd -> 'e
val ocaml_expr_addattr : 'a -> 'b -> 'c
val ocaml_coretype_addattr : 'a -> 'b -> 'c
val ocaml_patt_addattr : 'a -> 'b -> 'c
val ocaml_pmty_addattr : 'a -> 'b -> 'c
val ocaml_pmod_addattr : 'a -> 'b -> 'c
val ocaml_pcty_addattr : 'a -> 'b -> 'c
val ocaml_pcl_addattrs : 'a -> 'b -> 'c
val ocaml_psig_attribute : 'a -> 'b
val ocaml_pstr_attribute : 'a -> 'b
val ocaml_pctf_attribute : 'a -> 'b
val ocaml_pcf_attribute : 'a -> 'b
val ocaml_extension_implem : 'a -> 'b -> 'c -> 'd
val ocaml_extension_interf : 'a -> 'b -> 'c -> 'd
val ocaml_extension_type : 'a -> 'b -> 'c -> 'd
val ocaml_extension_patt : 'a -> 'b -> 'c -> 'd -> 'e -> 'f
val ocaml_ptyp_extension : 'a -> 'b
val ocaml_pexp_extension : 'a -> 'b
val ocaml_ppat_extension : 'a -> 'b
val ocaml_pmty_extension : 'a -> 'b
val ocaml_pmod_extension : 'a -> 'b
val ocaml_psig_extension : ?item_attributes:'a list -> 'b -> 'c
val ocaml_pstr_extension : ?item_attributes:'a list -> 'b -> 'c
val ocaml_pcl_extension : 'a -> 'b
val ocaml_pcty_extension : 'a -> 'b
val ocaml_pctf_extension : 'a -> 'b
val ocaml_pcf_extension : 'a -> 'b
val ocaml_extension_exception : 'a -> 'b -> 'c -> 'd -> 'e
val ocaml_pexp_unreachable : unit -> 'a
val ocaml_ptype_open : unit -> 'a
val ocaml_psig_typext : 'a -> 'b
val ocaml_pstr_typext : 'a -> 'b
val ocaml_pexp_letexception : 'a -> 'b -> 'c
val ocaml_ppat_exception : 'a -> 'b
val ocaml_mkfield_inh : ?alg_attributes:'a list -> 'b -> 'c -> 'd -> 'e
val ocaml_mkfield_tag : ?alg_attributes:'a list -> 'b -> ('c * 'd) -> ('c * 'd) list -> ('c * 'd) list
val ocaml_mkfield_var : 'a -> 'b list
val convert_camlp5_variance : (bool option * bool) -> Asttypes.variance
val ocaml_ec_tuple : ?alg_attributes:'a list -> 'b -> 'c -> 'd -> 'e -> 'f
val ocaml_ec_record : ?alg_attributes:'a list -> 'b -> 'c -> 'd -> 'e
val ocaml_ec_rebind : 'a -> 'b -> 'c -> 'd
val ocaml_type_extension : ?item_attributes:'a list -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g
val ocaml_type_declaration : string -> string option list -> (Parsetree.core_type * Parsetree.core_type * Location.t) list -> Parsetree.type_kind -> Asttypes.private_flag -> Parsetree.core_type option -> Location.t -> (bool option * bool) list -> Parsetree.attributes -> ('a, Parsetree.type_declaration) choice
val ocaml_class_type : (Parsetree.class_type_desc -> Location.t -> Parsetree.class_type) option
val ocaml_class_expr : (?alg_attributes:Parsetree.attributes -> Parsetree.class_expr_desc -> Location.t -> Parsetree.class_expr) option
val ocaml_pmty_alias : 'a -> 'b -> 'c
val ocaml_pmty_functor : Location.t -> (string option * Parsetree.module_type) option -> Parsetree.module_type -> Parsetree.module_type_desc
val ocaml_pmty_typeof : (Parsetree.module_expr -> Parsetree.module_type_desc) option
val ocaml_ptype_abstract : Parsetree.type_kind
val ocaml_ptype_record : (string * Asttypes.mutable_flag * Parsetree.core_type * Location.t * Parsetree.attributes) list -> 'a -> Parsetree.type_kind
val ocaml_ptype_variant : (string * (('a list * Parsetree.core_type list, Parsetree.type_kind) choice * Parsetree.core_type option) * Location.t * Parsetree.attributes) list -> 'b -> Parsetree.type_kind option
val ocaml_ptyp_class : Longident.t -> Parsetree.core_type list -> 'a -> Parsetree.core_type_desc
val ocaml_ptyp_object : Location.t -> (Asttypes.label * Parsetree.core_type) list -> bool -> Parsetree.core_type_desc
val ocaml_ptyp_package : (Parsetree.package_type -> Parsetree.core_type_desc) option
val ocaml_ptyp_poly : (Location.t -> string list -> Parsetree.core_type -> Parsetree.core_type_desc * Parsetree.attributes) option
val ocaml_ptyp_variant : Location.t -> (Asttypes.label * bool * Parsetree.core_type list * 'a list, Parsetree.core_type) choice list -> bool -> Asttypes.label list option -> Parsetree.core_type_desc option
val ocaml_package_type : 'a -> ('b * Parsetree.core_type) list -> 'a Location.loc * ('b Location.loc * Parsetree.core_type) list
val ocaml_pconst_char : char -> Parsetree.constant
val ocaml_pconst_int : int -> Parsetree.constant
val ocaml_pconst_float : string -> Parsetree.constant
val ocaml_const_string : string -> 'a -> Asttypes.constant
val ocaml_pconst_string : string -> 'a -> string option -> Parsetree.constant
val pconst_of_const : Asttypes.constant -> Parsetree.constant
val ocaml_const_int32 : (string -> Asttypes.constant) option
val ocaml_const_int64 : (string -> Asttypes.constant) option
val ocaml_const_nativeint : (string -> Asttypes.constant) option
val ocaml_pexp_apply : Parsetree.expression -> (string * Parsetree.expression) list -> Parsetree.expression_desc
val ocaml_pexp_assertfalse : 'a -> Location.t -> Parsetree.expression_desc
val ocaml_pexp_assert : 'a -> 'b -> Parsetree.expression -> Parsetree.expression_desc
val ocaml_pexp_construct : Location.t -> Longident.t -> Parsetree.expression option -> 'a -> Parsetree.expression_desc
val ocaml_pexp_construct_args : Parsetree.expression_desc -> (Longident.t * Location.t * Parsetree.expression option * int) option
val mkexp_ocaml_pexp_construct_arity : Location.t -> Location.t -> Longident.t -> Parsetree.expression list -> Parsetree.expression
val ocaml_pexp_function : string -> Parsetree.expression option -> Parsetree.case list -> Parsetree.expression_desc
val ocaml_pexp_lazy : (Parsetree.expression -> Parsetree.expression_desc) option
val ocaml_pexp_ident : Location.t -> Longident.t -> Parsetree.expression_desc
val ocaml_pexp_letmodule : (string option -> Parsetree.module_expr -> Parsetree.expression -> Parsetree.expression_desc) option
val ocaml_pexp_newtype : (Location.t -> string -> Parsetree.expression -> Parsetree.expression_desc) option
val ocaml_pexp_object : (Parsetree.class_structure -> Parsetree.expression_desc) option
val ocaml_pexp_override : (Asttypes.label * Parsetree.expression) list -> Parsetree.expression_desc
val ocaml_pexp_poly : (Parsetree.expression -> Parsetree.core_type option -> Parsetree.expression_desc) option
val ocaml_pexp_variant : ((Parsetree.expression_desc -> (Asttypes.label * Parsetree.expression option) option) * ((Asttypes.label * Parsetree.expression option) -> Parsetree.expression_desc)) option
val ocaml_ppat_open : 'a -> 'b -> 'c -> 'd
val ocaml_ppat_alias : Parsetree.pattern -> string -> Location.t -> Parsetree.pattern_desc
val ocaml_ppat_array : (Parsetree.pattern list -> Parsetree.pattern_desc) option
val ocaml_ppat_construct : Location.t -> Longident.t -> ('a * Parsetree.pattern) option -> 'b -> Parsetree.pattern_desc
val ocaml_ppat_construct_args : Parsetree.pattern_desc -> (Longident.t * Location.t * Parsetree.pattern option * int) option
val mkpat_ocaml_ppat_construct_arity : Location.t -> Location.t -> Longident.t -> 'a -> Parsetree.pattern list -> Parsetree.pattern
val ocaml_ppat_lazy : (Parsetree.pattern -> Parsetree.pattern_desc) option
val ocaml_ppat_record : (Longident.t * Location.t * Parsetree.pattern) list -> bool -> Parsetree.pattern_desc
val ocaml_ppat_type : (Location.t -> Longident.t -> Parsetree.pattern_desc) option
val ocaml_ppat_unpack : ((Location.t -> string option -> Parsetree.pattern_desc) * (Parsetree.package_type -> Parsetree.core_type_desc)) option
val ocaml_ppat_var : Location.t -> string -> Parsetree.pattern_desc
val ocaml_ppat_variant : ((Parsetree.pattern_desc -> (Asttypes.label * Parsetree.pattern option) option) * ((Asttypes.label * Parsetree.pattern option) -> Parsetree.pattern_desc)) option
val ocaml_psig_class_type : (Parsetree.class_type_declaration list -> Parsetree.signature_item_desc) option
val ocaml_psig_exception : ?alg_attributes:'a list -> ?item_attributes:'b list -> Location.t -> string -> (('c list * Parsetree.core_type list, 'd) choice * 'e option) -> Parsetree.signature_item_desc
val ocaml_psig_include : ?item_attributes:Parsetree.attributes -> Location.t -> Parsetree.module_type -> Parsetree.signature_item_desc
val ocaml_psig_module : ?item_attributes:'a list -> Location.t -> string option -> Parsetree.module_type -> Parsetree.signature_item_desc
val ocaml_psig_modsubst : ?item_attributes:'a list -> 'b -> 'c -> 'd -> 'e
val ocaml_psig_modtype : ?item_attributes:Parsetree.attributes -> Location.t -> string -> Parsetree.module_type option -> Parsetree.signature_item_desc
val ocaml_psig_modtypesubst : ?item_attributes:'a list -> 'b -> 'c -> 'd -> 'e
val ocaml_psig_open : ?item_attributes:'a list -> Location.t -> Longident.t -> Parsetree.signature_item_desc
val ocaml_psig_recmodule : ((string option * Parsetree.module_type * 'a list) list -> Parsetree.signature_item_desc) option
val ocaml_psig_type : bool -> ('a * Parsetree.type_declaration) list -> Parsetree.signature_item_desc
val ocaml_psig_typesubst : 'a -> 'b
val ocaml_pstr_class_type : (Parsetree.class_type_declaration list -> Parsetree.structure_item_desc) option
val ocaml_pstr_eval : ?item_attributes:Parsetree.attributes -> Parsetree.expression -> Parsetree.structure_item_desc
val ocaml_pstr_exception : ?alg_attributes:'a list -> ?item_attributes:'b list -> Location.t -> string -> (('c list * Parsetree.core_type list, 'd) choice * 'e option) -> Parsetree.structure_item_desc
val ocaml_pstr_exn_rebind : (Location.t -> string -> Longident.t -> Parsetree.structure_item_desc) option
val ocaml_pstr_include : (?item_attributes:Parsetree.attributes -> Location.t -> Parsetree.module_expr -> Parsetree.structure_item_desc) option
val ocaml_pstr_modtype : ?item_attributes:Parsetree.attributes -> Location.t -> string -> Parsetree.module_type option -> Parsetree.structure_item_desc
val ocaml_pstr_module : ?item_attributes:'a list -> Location.t -> string option -> Parsetree.module_expr -> Parsetree.structure_item_desc
val ocaml_pstr_open : ?item_attributes:'a list -> Asttypes.override_flag -> Location.t -> Parsetree.module_expr -> Parsetree.structure_item_desc
val ocaml_pstr_recmodule : ((string option * 'a * Parsetree.module_expr * 'b list) list -> Parsetree.structure_item_desc) option
val ocaml_pstr_type : bool -> ('a * Parsetree.type_declaration) list -> Parsetree.structure_item_desc
val ocaml_class_infos : (?item_attributes:Parsetree.attributes -> Asttypes.virtual_flag -> (string list * 'a) -> string -> 'b -> Location.t -> (bool option * bool) list -> 'b Parsetree.class_infos) option
val ocaml_pmod_ident : Longident.t -> Parsetree.module_expr_desc
val ocaml_pmod_functor : (string option * Parsetree.module_type) option -> Parsetree.module_expr -> Parsetree.module_expr_desc
val ocaml_pcf_cstr : ((Parsetree.core_type * Parsetree.core_type * 'a) -> Parsetree.class_field_desc) option
val ocaml_pcf_init : (Parsetree.expression -> Parsetree.class_field_desc) option
val ocaml_pcf_meth : (Asttypes.label * bool * bool * Parsetree.expression * Location.t) -> Parsetree.class_field_desc
val ocaml_pcf_valvirt : ((Asttypes.label * bool * Parsetree.core_type * Location.t) -> Parsetree.class_field_desc) option
val ocaml_pcl_apply : (Parsetree.class_expr -> (string * Parsetree.expression) list -> Parsetree.class_expr_desc) option
val ocaml_pcl_constr : (Longident.t -> Parsetree.core_type list -> Parsetree.class_expr_desc) option
val ocaml_pcl_constraint : (Parsetree.class_expr -> Parsetree.class_type -> Parsetree.class_expr_desc) option
val ocaml_pcl_fun : (string -> Parsetree.expression option -> Parsetree.pattern -> Parsetree.class_expr -> Parsetree.class_expr_desc) option
val ocaml_pcl_open : 'a -> 'b -> 'c -> 'd -> 'e
val ocaml_pcty_open : 'a -> 'b -> 'c -> 'd -> 'e
val ocaml_pcl_structure : (Parsetree.class_structure -> Parsetree.class_expr_desc) option
val ocaml_pcty_constr : (Longident.t -> Parsetree.core_type list -> Parsetree.class_type_desc) option
val ocaml_pcty_fun : (string -> Parsetree.core_type -> 'a -> Parsetree.class_type -> Parsetree.class_type_desc) option
val ocaml_pcty_signature : ((Parsetree.core_type * Parsetree.class_type_field list) -> Parsetree.class_type_desc) option
val ocaml_pdir_bool : (bool -> Parsetree.directive_argument) option
val ocaml_pdir_int : string -> 'a -> Parsetree.directive_argument
val ocaml_pdir_some : 'a -> 'a
val ocaml_pdir_none : Parsetree.directive_argument
val ocaml_ptop_dir : 'a -> string -> Parsetree.directive_argument -> Parsetree.toplevel_phrase
val ocaml_pwith_modtype : (Location.t -> Longident.t -> Parsetree.module_type -> Parsetree.with_constraint) option
val ocaml_pwith_modtypesubst : (Location.t -> Longident.t -> Parsetree.module_type -> Parsetree.with_constraint) option
val ocaml_pwith_modsubst : (Location.t -> Longident.t -> Longident.t -> Parsetree.with_constraint) option
val ocaml_pwith_typesubst : (Location.t -> Longident.t -> Parsetree.type_declaration -> Parsetree.with_constraint) option
val module_prefix_can_be_in_first_record_label_only : bool
val split_or_patterns_with_bindings : bool
val has_records_with_with : bool
val arg_rest : Arg.spec -> (string -> unit) option
val arg_set_string : Arg.spec -> string ref option
val arg_set_int : Arg.spec -> int ref option
val arg_set_float : Arg.spec -> float ref option
val arg_symbol : Arg.spec -> (string list * (string -> unit)) option
val arg_tuple : Arg.spec -> Arg.spec list option
val arg_bool : Arg.spec -> (bool -> unit) option
val char_escaped : char -> string
val hashtbl_mem : ('a, 'b) Hashtbl.t -> 'a -> bool
val list_rev_append : 'a list -> 'a list -> 'a list
val list_rev_map : ('a -> 'b) -> 'a list -> 'b list
val list_sort : ('a -> 'a -> int) -> 'a list -> 'a list
val pervasives_set_binary_mode_out : out_channel -> bool -> unit
val printf_ksprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b
val char_uppercase : char -> char
val bytes_modname : string
val bytes_of_string : string -> bytes
val bytes_to_string : bytes -> string
val string_capitalize : string -> string
val string_contains : string -> char -> bool
val string_cat : bytes -> bytes -> bytes
val string_copy : bytes -> bytes
val string_create : int -> bytes
val string_get : bytes -> int -> char
val string_index : bytes -> char -> int
val string_length : bytes -> int
val string_lowercase : string -> string
val string_unsafe_set : bytes -> int -> char -> unit
val string_uncapitalize : string -> string
val string_uppercase : string -> string
val string_set : bytes -> int -> char -> unit
val string_sub : bytes -> int -> int -> bytes
val array_create : int -> 'a -> 'a array