|
|
|---|
|
|
|
|---|
Fixtype of Leo group literals.
This is a tagged union type, introduced by fty::deftagsum.
Leo supports a rich notation for literals representing
points of an elliptic curve group.
Besides the affine notation described in coordinate,
it also supports the product notation
In an affine notation, at least one coordinate must be an explicit integer. We delegate this constraint to the static and dynamic semantics.