Type Definition proof_system::meta_statement::WitnessRef

pub type WitnessRef = (usize, usize);

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