The specification (and the parasol language itself)
uses notation and concepts taken from type theory
[2].
A summary of the notation used is as follows:
Product types are typically used to encode the notion of
n-ary functions,
where (A × B × C) → D
is the type of functions that take three arguments of types
A, B,
and C, respectively, and return
values of type D.