package links

  1. Overview
  2. Docs
Package contains no libraries
type t =
  1. | TypeVar of SugarTypeVar.t
  2. | QualifiedTypeApplication of CommonTypes.Name.t list * type_arg list
  3. | Function of with_pos list * row * with_pos
  4. | Lolli of with_pos list * row * with_pos
  5. | Mu of SugarTypeVar.t * with_pos
  6. | Forall of SugarQuantifier.t list * with_pos
  7. | Unit
  8. | Tuple of with_pos list
  9. | Record of row
  10. | Variant of row
  11. | Effect of row
  12. | Table of CommonTypes.Temporality.t * with_pos * with_pos * with_pos
  13. | List of with_pos
  14. | TypeApplication of string * type_arg list
  15. | Primitive of CommonTypes.Primitive.t
  16. | DB
  17. | Input of with_pos * with_pos
  18. | Output of with_pos * with_pos
  19. | Select of row
  20. | Choice of row
  21. | Dual of with_pos
  22. | End
and with_pos = t SourceCode.WithPos.t
and row = (string * fieldspec) list * row_var
and row_var =
  1. | EffectApplication of string * type_arg list
  2. | Closed
  3. | Open of SugarTypeVar.t
  4. | Recursive of SugarTypeVar.t * row
and fieldspec =
  1. | Present of with_pos
  2. | Absent
  3. | Var of SugarTypeVar.t
and type_arg =
  1. | Type of with_pos
  2. | Row of row
  3. | Presence of fieldspec
val show_with_pos : with_pos -> Ppx_deriving_runtime.string
val show_row_var : row_var -> Ppx_deriving_runtime.string
val show_fieldspec : fieldspec -> Ppx_deriving_runtime.string
val show_type_arg : type_arg -> Ppx_deriving_runtime.string