Type Alias proof_system::meta_statement::WitnessRef

source ยท 
pub type WitnessRef = (usize, usize);
Expand description

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