package dolmen
A module for Algebraic datatype constructors.
An algebraic type constructor. Note that such constructors are used to build terms, and not types, e.g. consider the following: type 'a list = Nil | Cons of 'a * 'a t
, then Nil
and Cons
are the constructors, while list
would be a type constant of arity 1 used to name the type.
val arity : t -> int * int
Returns the arity of a constructor.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>