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