Trait orzir::verifiers::IntegerLikeOperands
source · pub trait IntegerLikeOperands: Op {
// Provided method
fn verify(&self, ctx: &Context) -> VerifyResult<()> { ... }
}Expand description
Verifier IsTerminator for Op.
This verifier indicates that the operation has integer-like operands.