Trait orzir::verifiers::AtLeastNumSuccessors

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

Verifier AtLeastNumSuccessors for Op.

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

Provided Methods

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

Implementors