links

The Links Programming Language
IN THIS PACKAGE
type t =
| TUnresolved of CommonTypes.Name.t * CommonTypes.Subkind.t option * CommonTypes.Freedom.t
| TResolvedType of Types.meta_type_var
| TResolvedRow of Types.meta_type_var
| 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