TyVarEnv (ocaml.Typetexp.TyVarEnv)

val reset : unit -> unit

val with_local_scope : (unit -> 'a) -> 'a

type poly_univars

val make_poly_univars : string list -> poly_univars

val check_poly_univars : 
  Env.t ->
  Location.t ->
  poly_univars ->
  Types.type_expr list

val instance_poly_univars : 
  Env.t ->
  Location.t ->
  poly_univars ->
  Types.type_expr list