Trait orzir::verifiers::SameOperandsAndResultsNum

source · 
pub trait SameOperandsAndResultsNum: Op {
    // Provided method
    fn verify(&self, _: &Context) -> VerifyResult<()> { ... }
}
Expand description

Verifier SameOperandsAndResultsNum for Op.

This verifier indicates that the numbers of results and operands are the same.

Provided Methods§

source

fn verify(&self, _: &Context) -> VerifyResult<()>

Implementors§