camlp5 8.00.03 · OCaml Package

type (!'a, !'b) choice =

| Left of 'a
| 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:Parsetree.attributes ->
  Location.t ->
  Parsetree.core_type_desc ->
  Parsetree.core_type

val ocaml_mkpat : Location.t -> Parsetree.pattern_desc -> Parsetree.pattern

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_expr_addattr : 
  Parsetree.attribute ->
  Parsetree.expression ->
  Parsetree.expression

val ocaml_coretype_addattr : 
  Parsetree.attribute ->
  Parsetree.core_type ->
  Parsetree.core_type

val ocaml_patt_addattr : 
  Parsetree.attribute ->
  Parsetree.pattern ->
  Parsetree.pattern

val ocaml_pmty_addattr : 
  Parsetree.attribute ->
  Parsetree.module_type ->
  Parsetree.module_type

val ocaml_pmod_addattr : 
  Parsetree.attribute ->
  Parsetree.module_expr ->
  Parsetree.module_expr

val ocaml_pcty_addattr : 
  Parsetree.attribute ->
  Parsetree.class_type ->
  Parsetree.class_type

val ocaml_pcl_addattrs : 
  Parsetree.attribute list ->
  Parsetree.class_expr ->
  Parsetree.class_expr

val ocaml_psig_attribute : Parsetree.attribute -> Parsetree.signature_item_desc

val ocaml_pstr_attribute : Parsetree.attribute -> Parsetree.structure_item_desc

val ocaml_pctf_attribute : 
  Parsetree.attribute ->
  Parsetree.class_type_field_desc

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_pctf_extension : 
  Parsetree.extension ->
  Parsetree.class_type_field_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_pstr_typext : 
  Parsetree.type_extension ->
  Parsetree.structure_item_desc

val ocaml_psig_typext : 
  Parsetree.type_extension ->
  Parsetree.signature_item_desc

val ocaml_pexp_letexception : 
  Parsetree.extension_constructor ->
  Parsetree.expression ->
  Parsetree.expression_desc

val ocaml_ppat_exception : Parsetree.pattern -> Parsetree.pattern_desc

val ocaml_mkexp : 
  Location.t ->
  Parsetree.expression_desc ->
  Parsetree.expression

val ocaml_mkmty : 
  Location.t ->
  Parsetree.module_type_desc ->
  Parsetree.module_type

val ocaml_mkmod : 
  Location.t ->
  Parsetree.module_expr_desc ->
  Parsetree.module_expr

val ocaml_mkfield_inh : 
  ?alg_attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.core_type ->
  Parsetree.object_field list ->
  Parsetree.object_field list

val ocaml_mkfield_tag : 
  ?alg_attributes:Parsetree.attributes ->
  Location.t ->
  (Asttypes.label * 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_class_structure : 
  Parsetree.pattern ->
  Parsetree.class_field list ->
  Parsetree.class_structure

val ocaml_pmty_ident : Location.t -> Longident.t -> Parsetree.module_type_desc

val ocaml_pmty_alias : Location.t -> Longident.t -> Parsetree.module_type_desc

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_pmty_with : 
  Parsetree.module_type ->
  ('a * Parsetree.with_constraint) list ->
  Parsetree.module_type_desc

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_arrow : 
  string ->
  Parsetree.core_type ->
  Parsetree.core_type ->
  Parsetree.core_type_desc

val ocaml_ptyp_class : 
  Longident.t ->
  Parsetree.core_type list ->
  'a ->
  Parsetree.core_type_desc

val ocaml_ptyp_constr : 
  Location.t ->
  Longident.t ->
  Parsetree.core_type list ->
  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_constraint : 
  Parsetree.expression ->
  Parsetree.core_type option ->
  Parsetree.core_type option ->
  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_field : 
  Location.t ->
  Parsetree.expression ->
  Longident.t ->
  Parsetree.expression_desc

val ocaml_pexp_for : 
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.expression ->
  Asttypes.direction_flag ->
  Parsetree.expression ->
  Parsetree.expression_desc

val ocaml_case : 
  (Parsetree.pattern * Parsetree.expression option * 'a * Parsetree.expression) ->
  Parsetree.case

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_new : Location.t -> Longident.t -> Parsetree.expression_desc

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_open : 
  (Asttypes.override_flag ->
    Parsetree.module_expr ->
    Parsetree.expression ->
    Parsetree.expression_desc)
    option

val ocaml_pexp_override : 
  (Asttypes.label * Parsetree.expression) list ->
  Parsetree.expression_desc

val ocaml_pexp_pack : 
  ('a ->
    'b ->
    'c,
    (Parsetree.module_expr ->
    Parsetree.expression_desc)
    * (Parsetree.package_type ->
    Parsetree.core_type_desc))
    choice
    option

val ocaml_pexp_poly : 
  (Parsetree.expression ->
    Parsetree.core_type option ->
    Parsetree.expression_desc)
    option

val ocaml_pexp_record : 
  (Longident.t * Location.t * Parsetree.expression) list ->
  Parsetree.expression option ->
  Parsetree.expression_desc

val ocaml_pexp_send : 
  Location.t ->
  Parsetree.expression ->
  Asttypes.label ->
  Parsetree.expression_desc

val ocaml_pexp_setinstvar : 
  Asttypes.label ->
  Parsetree.expression ->
  Parsetree.expression_desc

val ocaml_pexp_variant : 
  ((Parsetree.expression_desc ->
   (Asttypes.label * Parsetree.expression option) option)
   * ((Asttypes.label * Parsetree.expression option) ->
   Parsetree.expression_desc))
    option

val ocaml_value_binding : 
  ?item_attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.value_binding

val ocaml_ppat_open : 
  Location.t ->
  Longident.t ->
  Parsetree.pattern ->
  Parsetree.pattern_desc

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_psig_value : 
  'a ->
  Parsetree.value_description ->
  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_open : 
  ?item_attributes:Parsetree.attributes ->
  Asttypes.override_flag ->
  Location.t ->
  Parsetree.module_expr ->
  Parsetree.structure_item_desc

val ocaml_pstr_primitive : 
  'a ->
  Parsetree.value_description ->
  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_constraint : 
  Location.t ->
  Parsetree.module_expr ->
  Parsetree.module_type ->
  Parsetree.module_expr

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_pmod_unpack : 
  ('a ->
    'b ->
    'c,
    (Parsetree.expression ->
    Parsetree.module_expr_desc)
    * (Parsetree.package_type ->
    Parsetree.core_type_desc))
    choice
    option

val ocaml_pcf_cstr : 
  ((Parsetree.core_type * Parsetree.core_type * 'a) ->
    Parsetree.class_field_desc)
    option

val ocaml_pcf_inher : 
  Location.t ->
  Asttypes.override_flag ->
  Parsetree.class_expr ->
  string option ->
  Parsetree.class_field_desc

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_val : 
  (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_pcf_virt : 
  (Asttypes.label * Asttypes.private_flag * Parsetree.core_type * Location.t) ->
  Parsetree.class_field_desc

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_let : 
  (Asttypes.rec_flag ->
    Parsetree.value_binding list ->
    Parsetree.class_expr ->
    Parsetree.class_expr_desc)
    option

val ocaml_pcl_open : 
  Location.t ->
  Longident.t ->
  Asttypes.override_flag ->
  Parsetree.class_expr ->
  Parsetree.class_expr_desc

val ocaml_pcty_open : 
  Location.t ->
  Longident.t ->
  Asttypes.override_flag ->
  Parsetree.class_type ->
  Parsetree.class_type_desc

val ocaml_pcl_structure : 
  (Parsetree.class_structure -> Parsetree.class_expr_desc) option

val ocaml_pctf_cstr : 
  ((Parsetree.core_type * Parsetree.core_type * 'a) ->
    Parsetree.class_type_field_desc)
    option

val ocaml_pctf_inher : Parsetree.class_type -> Parsetree.class_type_field_desc

val ocaml_pctf_meth : 
  (Asttypes.label * Asttypes.private_flag * Parsetree.core_type * Location.t) ->
  Parsetree.class_type_field_desc

val ocaml_pctf_val : 
  (Asttypes.label
   * Asttypes.mutable_flag
   * Asttypes.virtual_flag
   * Parsetree.core_type
   * Location.t) ->
  Parsetree.class_type_field_desc

val ocaml_pctf_virt : 
  (Asttypes.label * Asttypes.private_flag * Parsetree.core_type * Location.t) ->
  Parsetree.class_type_field_desc

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_type : 
  Location.t ->
  (Longident.t * Parsetree.type_declaration) ->
  Parsetree.with_constraint

val ocaml_pwith_module : 
  Location.t ->
  Longident.t ->
  Longident.t ->
  Parsetree.with_constraint

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

package camlp5