Typetexp (ocaml.Typetexp)

module TyVarEnv : sig ... end

val type_open : 
  (?used_slot:bool ref ->
    Asttypes.override_flag ->
    Env.t ->
    Location.t ->
    Longident.t Asttypes.loc ->
    Path.t * Env.t)
    ref

val valid_tyvar_name : string -> bool

val transl_simple_type : 
  Env.t ->
  ?univars:TyVarEnv.poly_univars ->
  closed:bool ->
  Parsetree.core_type ->
  Typedtree.core_type

val transl_simple_type_univars : 
  Env.t ->
  Parsetree.core_type ->
  Typedtree.core_type

val transl_simple_type_delayed : 
  Env.t ->
  Parsetree.core_type ->
  Typedtree.core_type * Types.type_expr * (unit -> unit)

val transl_type_scheme : Env.t -> Parsetree.core_type -> Typedtree.core_type

val transl_type_param : Env.t -> Parsetree.core_type -> Typedtree.core_type

exception Already_bound

type error =

| Unbound_type_variable of string * string list
| No_type_wildcards
| Undefined_type_constructor of Path.t
| Type_arity_mismatch of Longident.t * int * int
| Bound_type_variable of string
| Recursive_type
| Type_mismatch of Errortrace.unification_error
| Alias_type_mismatch of Errortrace.unification_error
| Present_has_conjunction of string
| Present_has_no_type of string
| Constructor_mismatch of Types.type_expr * Types.type_expr
| Not_a_variant of Types.type_expr
| Variant_tags of string * string
| Invalid_variable_name of string
| Cannot_quantify of string * Types.type_expr
| Multiple_constraints_on_type of Longident.t
| Method_mismatch of string * Types.type_expr * Types.type_expr
| Opened_object of Path.t option
| Not_an_object of Types.type_expr

exception Error of Location.t * Env.t * error

val report_error : Env.t -> error Format_doc.format_printer

val report_error_doc : Env.t -> error Format_doc.printer

val transl_modtype_longident : 
  (Location.t -> Env.t -> Longident.t -> Path.t) ref

val transl_modtype : 
  (Env.t -> Parsetree.module_type -> Typedtree.module_type) ref

val check_package_with_type_constraints : 
  (Location.t ->
    Env.t ->
    Types.module_type ->
    (Longident.t Asttypes.loc * Typedtree.core_type) list ->
    Types.module_type)
    ref