ProofFnOnce
vstd
Proof
FnOnce
Implementors
In vstd::
prelude
vstd
::
prelude
Trait
Proof
FnOnce
Copy item path
pub trait ProofFnOnce { }
Implementors
ยง