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