Trait orzir::verifiers::OperandTysAre
source · pub trait OperandTysAre<T: Ty>: Op {
// Provided method
fn verify(&self, ctx: &Context) -> VerifyResult<()> { ... }
}pub trait OperandTysAre<T: Ty>: Op {
// Provided method
fn verify(&self, ctx: &Context) -> VerifyResult<()> { ... }
}