vstd
ProofFn
Implementors
In vstd::
prelude
vstd
::
prelude
Trait
ProofFn
Copy item path
pub trait ProofFn:
ProofFnMut
{ }
Implementors
ยง