|
|
|---|
|
|
|
|---|
Fixtype of assignments.
These are assignments of field elements to variables, used to express the semantics of PFCSes (see semantics-deeply-embedded).
Since the type of field elements depends on the prime, we use natural numbers here, which are a superset of every possible prime field. This way, we can have a fixtype of assignments (recall that fixtypes cannot be parameterized, currently).