links

The Links Programming Language
IN THIS PACKAGE
type t =
| QUnresolved of CommonTypes.Name.t * kind * CommonTypes.Freedom.t
| QResolved of CommonTypes.Quantifier.t
val mk_unresolved : CommonTypes.Name.t -> kind -> CommonTypes.Freedom.t -> t
val mk_resolved : CommonTypes.Quantifier.t -> t
val get_unresolved_exn : t -> CommonTypes.Name.t * kind * CommonTypes.Freedom.t
val get_unresolved_name_exn : t -> CommonTypes.Name.t
val get_resolved_exn : t -> CommonTypes.Quantifier.t