Module `Ocaml_typing.Btype`

module TypeSet : sig ... end

module TransientTypeMap : 
  Stdlib.Map.S with type key = Ocaml_typing.Types.transient_expr

module TypeMap : sig ... end

module TypeHash : sig ... end

module TypePairs : sig ... end

val generic_level : int

val lowest_level : int

val newgenty : Ocaml_typing.Types.type_desc -> Ocaml_typing.Types.type_expr

val newgenvar : 
  ?name:string ->
  Ocaml_typing.Types.jkind_lr ->
  Ocaml_typing.Types.type_expr

val newgenstub : 
  scope:int ->
  Ocaml_typing.Types.jkind_lr ->
  Ocaml_typing.Types.type_expr

val is_Tvar : Ocaml_typing.Types.type_expr -> bool

val is_Tunivar : Ocaml_typing.Types.type_expr -> bool

val is_Tconstr : Ocaml_typing.Types.type_expr -> bool

val is_Tpoly : Ocaml_typing.Types.type_expr -> bool

val dummy_method : Ocaml_parsing.Asttypes.label

val type_kind_is_abstract : Ocaml_typing.Types.type_declaration -> bool

val type_origin : 
  Ocaml_typing.Types.type_declaration ->
  Ocaml_typing.Types.type_origin

val is_fixed : Ocaml_typing.Types.row_desc -> bool

val has_fixed_explanation : Ocaml_typing.Types.row_desc -> bool

val fixed_explanation : 
  Ocaml_typing.Types.row_desc ->
  Ocaml_typing.Types.fixed_explanation option

val merge_fixed_explanation : 
  Ocaml_typing.Types.fixed_explanation option ->
  Ocaml_typing.Types.fixed_explanation option ->
  Ocaml_typing.Types.fixed_explanation option

val static_row : Ocaml_typing.Types.row_desc -> bool

val tvariant_not_immediate : Ocaml_typing.Types.row_desc -> bool

val hash_variant : Ocaml_parsing.Asttypes.label -> int

val proxy : Ocaml_typing.Types.type_expr -> Ocaml_typing.Types.type_expr

val tpoly_is_mono : Ocaml_typing.Types.type_expr -> bool

val tpoly_get_mono : 
  Ocaml_typing.Types.type_expr ->
  Ocaml_typing.Types.type_expr

val tpoly_get_poly : 
  Ocaml_typing.Types.type_expr ->
  Ocaml_typing.Types.type_expr * Ocaml_typing.Types.type_expr list

val row_of_type : Ocaml_typing.Types.type_expr -> Ocaml_typing.Types.type_expr

val has_constr_row : Ocaml_typing.Types.type_expr -> bool

val is_row_name : string -> bool

val is_constr_row : allow_ident:bool -> Ocaml_typing.Types.type_expr -> bool

val set_static_row_name : 
  Ocaml_typing.Types.type_declaration ->
  Ocaml_typing.Path.t ->
  unit

val iter_type_expr : 
  (Ocaml_typing.Types.type_expr -> unit) ->
  Ocaml_typing.Types.type_expr ->
  unit

val fold_type_expr : 
  ('a -> Ocaml_typing.Types.type_expr -> 'a) ->
  'a ->
  Ocaml_typing.Types.type_expr ->
  'a

val iter_row : 
  (Ocaml_typing.Types.type_expr -> unit) ->
  Ocaml_typing.Types.row_desc ->
  unit

val fold_row : 
  ('a -> Ocaml_typing.Types.type_expr -> 'a) ->
  'a ->
  Ocaml_typing.Types.row_desc ->
  'a

val iter_abbrev : 
  (Ocaml_typing.Types.type_expr -> unit) ->
  Ocaml_typing.Types.abbrev_memo ->
  unit

val iter_type_expr_kind : 
  (Ocaml_typing.Types.type_expr -> unit) ->
  Ocaml_typing.Types.type_decl_kind ->
  unit

val iter_type_expr_cstr_args : 
  (Ocaml_typing.Types.type_expr -> unit) ->
  Ocaml_typing.Types.constructor_arguments ->
  unit

val map_type_expr_cstr_args : 
  (Ocaml_typing.Types.type_expr -> Ocaml_typing.Types.type_expr) ->
  Ocaml_typing.Types.constructor_arguments ->
  Ocaml_typing.Types.constructor_arguments

val mark_type : 
  Ocaml_typing.Types.type_mark ->
  Ocaml_typing.Types.type_expr ->
  unit

val mark_type_params : 
  Ocaml_typing.Types.type_mark ->
  Ocaml_typing.Types.type_expr ->
  unit

type 'a type_iterators = {

it_signature : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.signature -> unit;
it_signature_item : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.signature_item -> unit;
it_value_description : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.value_description -> unit;
it_type_declaration : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.type_declaration -> unit;
it_extension_constructor : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.extension_constructor -> unit;
it_module_declaration : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.module_declaration -> unit;
it_modtype_declaration : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.modtype_declaration -> unit;
it_class_declaration : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.class_declaration -> unit;
it_class_type_declaration : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.class_type_declaration -> unit;
it_functor_param : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.functor_parameter -> unit;
it_module_type : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.module_type -> unit;
it_class_type : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.class_type -> unit;
it_type_kind : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.type_decl_kind -> unit;
it_do_type_expr : 'a Ocaml_typing.Btype.type_iterators -> 'a;
it_type_expr : 'a Ocaml_typing.Btype.type_iterators -> Ocaml_typing.Types.type_expr -> unit;
it_path : Ocaml_typing.Path.t -> unit;

}

type type_iterators_full =
  (Ocaml_typing.Types.type_expr -> unit) Ocaml_typing.Btype.type_iterators

type type_iterators_without_type_expr =
  (unit -> unit) Ocaml_typing.Btype.type_iterators

val type_iterators : 
  Ocaml_typing.Types.type_mark ->
  Ocaml_typing.Btype.type_iterators_full

val type_iterators_without_type_expr : 
  Ocaml_typing.Btype.type_iterators_without_type_expr

val copy_type_desc : 
  ?keep_names:bool ->
  (Ocaml_typing.Types.type_expr -> Ocaml_typing.Types.type_expr) ->
  Ocaml_typing.Types.type_desc ->
  Ocaml_typing.Types.type_desc

val copy_row : 
  (Ocaml_typing.Types.type_expr -> Ocaml_typing.Types.type_expr) ->
  bool ->
  Ocaml_typing.Types.row_desc ->
  bool ->
  Ocaml_typing.Types.type_expr ->
  Ocaml_typing.Types.row_desc

val copy_commu : Ocaml_typing.Types.commutable -> Ocaml_typing.Types.commutable

module For_copy : sig ... end

val find_expans : 
  Ocaml_parsing.Asttypes.private_flag ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Types.abbrev_memo ->
  Ocaml_typing.Types.type_expr option

val cleanup_abbrev : unit -> unit

val memorize_abbrev : 
  Ocaml_typing.Types.abbrev_memo Stdlib.ref ->
  Ocaml_parsing.Asttypes.private_flag ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Types.type_expr ->
  Ocaml_typing.Types.type_expr ->
  unit

val forget_abbrev : 
  Ocaml_typing.Types.abbrev_memo Stdlib.ref ->
  Ocaml_typing.Path.t ->
  unit

val snapshot : unit -> Ocaml_typing.Types.snapshot

val backtrack : Ocaml_typing.Types.snapshot -> unit

val is_optional_parsetree : Ocaml_parsing.Parsetree.arg_label -> bool

val is_optional : Ocaml_typing.Types.arg_label -> bool

val is_position : Ocaml_typing.Types.arg_label -> bool

val is_omittable : Ocaml_typing.Types.arg_label -> bool

val label_name : Ocaml_typing.Types.arg_label -> Ocaml_parsing.Asttypes.label

val prefixed_label_name : 
  Ocaml_typing.Types.arg_label ->
  Ocaml_parsing.Asttypes.label

val extract_label : 
  Ocaml_parsing.Asttypes.label ->
  (Ocaml_typing.Types.arg_label * 'a) list ->
  (Ocaml_typing.Types.arg_label
   * 'a
   * bool
   * (Ocaml_typing.Types.arg_label * 'a) list)
    option

val signature_of_class_type : 
  Ocaml_typing.Types.class_type ->
  Ocaml_typing.Types.class_signature

val class_body : Ocaml_typing.Types.class_type -> Ocaml_typing.Types.class_type

val scrape_class_type : 
  Ocaml_typing.Types.class_type ->
  Ocaml_typing.Types.class_type

val class_type_arity : Ocaml_typing.Types.class_type -> int

val abbreviate_class_type : 
  Ocaml_typing.Path.t ->
  Ocaml_typing.Types.type_expr list ->
  Ocaml_typing.Types.class_type ->
  Ocaml_typing.Types.class_type

val self_type : Ocaml_typing.Types.class_type -> Ocaml_typing.Types.type_expr

val self_type_row : 
  Ocaml_typing.Types.class_type ->
  Ocaml_typing.Types.type_expr

val methods : Ocaml_typing.Types.class_signature -> string list

val virtual_methods : Ocaml_typing.Types.class_signature -> string list

val concrete_methods : 
  Ocaml_typing.Types.class_signature ->
  Ocaml_typing.Types.MethSet.t

val public_methods : Ocaml_typing.Types.class_signature -> string list

val instance_vars : Ocaml_typing.Types.class_signature -> string list

val virtual_instance_vars : Ocaml_typing.Types.class_signature -> string list

val concrete_instance_vars : 
  Ocaml_typing.Types.class_signature ->
  Ocaml_typing.Types.VarSet.t

val method_type : 
  Ocaml_parsing.Asttypes.label ->
  Ocaml_typing.Types.class_signature ->
  Ocaml_typing.Types.type_expr

val instance_variable_type : 
  Ocaml_parsing.Asttypes.label ->
  Ocaml_typing.Types.class_signature ->
  Ocaml_typing.Types.type_expr

val print_raw : 
  (Stdlib.Format.formatter -> Ocaml_typing.Types.type_expr -> unit) Stdlib.ref

val cstr_type_path : 
  Ocaml_typing.Types.constructor_description ->
  Ocaml_typing.Path.t

Module Ocaml_typing.Btype

Module `Ocaml_typing.Btype`