links

The Links Programming Language
IN THIS PACKAGE
type t =
| Any
| Nil
| Cons of t * t
| Variant of CommonTypes.Name.t * t
| Effect of CommonTypes.Name.t * t list * t
| Negative of Utility.StringSet.t
| Record of t Utility.StringMap.t * t option
| Constant of CommonTypes.Constant.t
| Variable of Var.binder
| As of Var.binder * t
| HasType of t * Types.datatype
type context =
| CNil
| CCons
| CVariant of string
| CNVariant of Utility.StringSet.t
| CConstant of CommonTypes.Constant.t
| CNConstant of ConstSet.t
type sort =
| SList
| SVariant
| SNegative
| SRecord
| SConstant
| SVariable
| SEffect
type annotation_element =
| Binder of Var.binder
| Type of Types.datatype