Trait orzir::verifiers::IntegerLikeTy

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

Verifier IsTerminator for Ty.

This verifier indicates that the type is integer-like.

Provided Methods§

source

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

Implementors§