Trait orzir::verifiers::FloatLikeTy

pub trait FloatLikeTy: Ty {
    // Provided method
    fn verify(&self, _ctx: &Context) -> VerifyResult<()> { ... }
}

Verifier IsTerminator for Ty.

This verifier indicates that the type is float-like.

Provided Methods

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

Implementors

impl FloatLikeTy for FReg

impl FloatLikeTy for DoubleTy

impl FloatLikeTy for FloatTy