Trait vstd::prelude::ProofFnReqEnsDef

pub trait ProofFnReqEnsDef<Args, Output> {
    // Required methods
    fn req(_args: Args) -> bool;
    fn ens(_args: Args, _output: Output) -> bool;
}

Required Methods

fn req(_args: Args) -> bool

fn ens(_args: Args, _output: Output) -> bool

Object Safety

This trait is not object safe.

Implementors