links

The Links Programming Language
IN THIS PACKAGE
type t =
| TypeVar of SugarTypeVar.t
| QualifiedTypeApplication of CommonTypes.Name.t list * type_arg list
| Function of with_pos list * row * with_pos
| Lolli of with_pos list * row * with_pos
| Mu of SugarTypeVar.t * with_pos
| Forall of SugarQuantifier.t list * with_pos
| Unit
| Tuple of with_pos list
| Record of row
| Variant of row
| Effect of row
| Table of CommonTypes.Temporality.t * with_pos * with_pos * with_pos
| List of with_pos
| TypeApplication of string * type_arg list
| Primitive of CommonTypes.Primitive.t
| DB
| Input of with_pos * with_pos
| Output of with_pos * with_pos
| Select of row
| Choice of row
| Dual of with_pos
| End
and with_pos = t SourceCode.WithPos.t
and row = (string * fieldspec) list * row_var
and row_var =
| Closed
| Open of SugarTypeVar.t
| Recursive of SugarTypeVar.t * row
and fieldspec =
| Present of with_pos
| Absent
| Var of SugarTypeVar.t
and type_arg =
| Type of with_pos
| Row of row
| 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