|
|
|---|
|
|
|
|---|
Fixtype of instructions.
This is a tagged union type, introduced by fty::deftagsum.
Instructions consists of unary operations, binary operations, ternary operations, equality operations, assertion operations, commitment operations, hashing operations, casts, and calls (of closures).