|
|
|---|
|
|
|
|---|
Fixtype of numeric value notations.
This is a tagged union type, introduced by fty::deftagsum.
In the abstract syntax,
we use lists of natural numbers
for the numeric value notations described in [RFC:2.3],
and pairs of natural numbers
for the value range alternatives described in [RFC:3.4];
both notations are described by the rule
We keep information about the numeric base,
i.e. which of the
We abstract away the restriction that lists of natural numbers be non-empty. This restriction is captured by the notion of well-formed numeric value notations, which also requires that the minimum of a range does not exceed the maximum.