Trait orzir::verifiers::AtLeastNumRegions

pub trait AtLeastNumRegions<const N: usize>: Op {
    // Provided method
    fn verify(&self, _: &Context) -> VerifyResult<()> { ... }
}

Verifier AtLeastNumRegions for Op.

A verifier indicating that the operation has at least N regions.

Provided Methods

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

Implementors