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_attribute_implem : Location.t -> (Location.t * string) -> Parsetree.structure -> Parsetree.attribute
val ocaml_attribute_interf : Location.t -> (Location.t * string) -> Parsetree.signature -> Parsetree.attribute
val ocaml_attribute_type : Location.t -> (Location.t * string) -> Parsetree.core_type -> Parsetree.attribute
val ocaml_attribute_patt : Location.t -> (Location.t * string) -> Parsetree.pattern -> Parsetree.expression option -> Parsetree.attribute
val ocaml_pcf_attribute : Parsetree.attribute -> Parsetree.class_field_desc
val ocaml_extension_implem : (Location.t * 'a) -> Parsetree.structure -> 'a Location.loc * Parsetree.payload
val ocaml_extension_interf : (Location.t * 'a) -> Parsetree.signature -> 'a Location.loc * Parsetree.payload
val ocaml_extension_type : (Location.t * 'a) -> Parsetree.core_type -> 'a Location.loc * Parsetree.payload
val ocaml_extension_patt : (Location.t * 'a) -> Parsetree.pattern -> Parsetree.expression option -> 'a Location.loc * Parsetree.payload
val ocaml_ptyp_extension : Parsetree.extension -> Parsetree.core_type_desc
val ocaml_pexp_extension : Parsetree.extension -> Parsetree.expression_desc
val ocaml_ppat_extension : Parsetree.extension -> Parsetree.pattern_desc
val ocaml_pmty_extension : Parsetree.extension -> Parsetree.module_type_desc
val ocaml_pmod_extension : Parsetree.extension -> Parsetree.module_expr_desc
val ocaml_psig_extension : ?item_attributes:Parsetree.attributes -> Parsetree.extension -> Parsetree.signature_item_desc
val ocaml_pstr_extension : ?item_attributes:Parsetree.attributes -> Parsetree.extension -> Parsetree.structure_item_desc
val ocaml_pcl_extension : Parsetree.extension -> Parsetree.class_expr_desc
val ocaml_pcty_extension : Parsetree.extension -> Parsetree.class_type_desc
val ocaml_pcf_extension : Parsetree.extension -> Parsetree.class_field_desc
val ocaml_extension_exception : Location.t -> string -> Parsetree.core_type list -> Parsetree.attributes -> Parsetree.extension_constructor
val ocaml_pexp_unreachable : unit -> Parsetree.expression_desc
val ocaml_ptype_open : unit -> Parsetree.type_kind
val ocaml_ppat_exception : Parsetree.pattern -> Parsetree.pattern_desc
val ocaml_mkfield_inh : ?alg_attributes:Parsetree.attributes -> Location.t -> Parsetree.core_type -> Parsetree.object_field list -> Parsetree.object_field list
val ocaml_mkfield_var : 'a -> 'b list
val convert_camlp5_variance : (bool option * bool) -> Asttypes.variance * Asttypes.injectivity
val ocaml_ec_tuple : ?alg_attributes:Parsetree.attributes -> Location.t -> string -> string list -> (Parsetree.core_type list * Parsetree.core_type option) -> Parsetree.extension_constructor
val ocaml_ec_record : ?alg_attributes:Parsetree.attributes -> Location.t -> string -> (Parsetree.type_kind * Parsetree.core_type option) -> Parsetree.extension_constructor
val ocaml_ec_rebind : Location.t -> string -> Longident.t -> Parsetree.extension_constructor
val ocaml_type_extension : ?item_attributes:Parsetree.attributes -> Location.t -> Longident.t -> (string option * (bool option * bool)) list -> Asttypes.private_flag -> Parsetree.extension_constructor list -> Parsetree.type_extension
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_functor : 'a -> (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 * ((string list * Parsetree.core_type list, Parsetree.type_kind) choice * Parsetree.core_type option) * Location.t * Parsetree.attributes) list -> 'a -> Parsetree.type_kind option
val ocaml_ptyp_class : Longident.t -> Parsetree.core_type list -> 'a -> Parsetree.core_type_desc
val ocaml_ptyp_object : 'a -> Parsetree.object_field 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 * Parsetree.attributes, 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 -> Location.t -> Asttypes.constant
val ocaml_pconst_string : string -> Location.t -> 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_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 -> (string Asttypes.loc list * Parsetree.pattern) option -> 'a -> Parsetree.pattern_desc
val ocaml_ppat_construct_args : Parsetree.pattern_desc -> (Longident.t * Location.t * (string Asttypes.loc list * Parsetree.pattern) option * int) option
val mkpat_ocaml_ppat_construct_arity : Location.t -> Location.t -> Longident.t -> string Asttypes.loc list -> 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:Parsetree.attributes -> ?item_attributes:Parsetree.attributes -> Location.t -> string -> ((string list * Parsetree.core_type list, Parsetree.type_kind) choice * Parsetree.core_type 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:Parsetree.attributes -> Location.t -> string option -> Parsetree.module_type -> Parsetree.signature_item_desc
val ocaml_psig_modsubst : ?item_attributes:Parsetree.attributes -> Location.t -> string -> Longident.t -> Parsetree.signature_item_desc
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:Parsetree.attributes -> Location.t -> string -> Parsetree.module_type option -> Parsetree.signature_item_desc
val ocaml_psig_open : ?item_attributes:Parsetree.attributes -> Location.t -> Longident.t -> Parsetree.signature_item_desc
val ocaml_psig_recmodule : ((string option * Parsetree.module_type * Parsetree.attributes) 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 * Parsetree.type_declaration) list -> Parsetree.signature_item_desc
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:Parsetree.attributes -> ?item_attributes:Parsetree.attributes -> Location.t -> string -> ((string list * Parsetree.core_type list, Parsetree.type_kind) choice * Parsetree.core_type 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:Parsetree.attributes -> Location.t -> string option -> Parsetree.module_expr -> Parsetree.structure_item_desc
val ocaml_pstr_recmodule : ((string option * 'a * Parsetree.module_expr * Parsetree.attributes) 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_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_desc) option
val ocaml_pdir_int : string -> 'a -> Parsetree.directive_argument_desc
val ocaml_pdir_some : 'a -> 'a option
val ocaml_pdir_none : 'a option
val ocaml_ptop_dir : Location.t -> string -> Parsetree.directive_argument_desc option -> 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