Module proof_system::meta_statement

Used to express relation between Statements

Structs

• EqualWitnesses
  Describes equality between one or more witnesses across statements. Eg. if witness 3 of statement 0 is to be proven equal to witness 5 of statement 1, then its written as
• MetaStatements

Enums

• MetaStatement
  Statement describing relation between statements

Type Aliases

• WitnessRef
  Reference to a witness described as the tuple (statement_id, witness_id)