|
|
|---|
|
|
|
|---|
Fixtype of pairs consisting of a variable table and a set of modes.
This is a product type introduced by fty::defprod.
Values of this fixtype capture the information calculated by the successful check of statements. The variable table captures the updated variable table. The set of modes captures the possible ways in which the statement may terminate.