Trait orzir::verifiers::FloatLikeOperands

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

Verifier IsTerminator for Op.

This verifier indicates that the operation has float-like operands.

Provided Methods§

source

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

Implementors§