package links

  1. Overview
  2. Docs
type t =
  1. | Any
  2. | Nil
  3. | Cons of t * t
  4. | Variant of CommonTypes.Name.t * t
  5. | Effect of CommonTypes.Name.t * t list * t
  6. | Negative of Utility.StringSet.t
  7. | Record of t Utility.StringMap.t * t option
  8. | Constant of CommonTypes.Constant.t
  9. | Variable of Var.binder
  10. | As of Var.binder * t
  11. | HasType of t * Types.datatype
type context =
  1. | CNil
  2. | CCons
  3. | CVariant of string
  4. | CNVariant of Utility.StringSet.t
  5. | CConstant of CommonTypes.Constant.t
  6. | CNConstant of ConstSet.t
type sort =
  1. | SList
  2. | SVariant
  3. | SNegative
  4. | SRecord
  5. | SConstant
  6. | SVariable
  7. | SEffect
type annotation_element =
  1. | Binder of Var.binder
  2. | Type of Types.datatype