WitnessRef

proof_system::meta_statement

Type Alias WitnessRef 

Source 
pub type WitnessRef = (usize, usize);
Expand description

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