package links
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 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
val pp :
Ppx_deriving_runtime.Format.formatter ->
t ->
Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val pp_with_pos :
Ppx_deriving_runtime.Format.formatter ->
with_pos ->
Ppx_deriving_runtime.unit
val show_with_pos : with_pos -> Ppx_deriving_runtime.string
val pp_row :
Ppx_deriving_runtime.Format.formatter ->
row ->
Ppx_deriving_runtime.unit
val show_row : row -> Ppx_deriving_runtime.string
val pp_row_var :
Ppx_deriving_runtime.Format.formatter ->
row_var ->
Ppx_deriving_runtime.unit
val show_row_var : row_var -> Ppx_deriving_runtime.string
val pp_fieldspec :
Ppx_deriving_runtime.Format.formatter ->
fieldspec ->
Ppx_deriving_runtime.unit
val show_fieldspec : fieldspec -> Ppx_deriving_runtime.string
val pp_type_arg :
Ppx_deriving_runtime.Format.formatter ->
type_arg ->
Ppx_deriving_runtime.unit
val show_type_arg : type_arg -> Ppx_deriving_runtime.string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>