package links

  1. Overview
  2. Docs
type t =
  1. | TUnresolved of CommonTypes.Name.t * CommonTypes.Subkind.t option * CommonTypes.Freedom.t
  2. | TResolvedType of Types.meta_type_var
  3. | TResolvedRow of Types.meta_type_var
  4. | TResolvedPresence of Types.meta_type_var
val is_resolved : t -> bool
val mk_resolved_tye : Types.meta_type_var -> t
val mk_resolved_row : Types.meta_type_var -> t
val mk_resolved_presence : Types.meta_type_var -> t
val get_unresolved_exn : t -> CommonTypes.Name.t * CommonTypes.Subkind.t option * CommonTypes.Freedom.t
val get_unresolved_name_exn : t -> CommonTypes.Name.t
val get_resolved_type_exn : t -> Types.meta_type_var
val get_resolved_row_exn : t -> Types.meta_type_var
val get_resolved_presence_exn : t -> Types.meta_type_var