ExProof
FnMut
vstd
ExProof
FnMut
Required Associated Types
ExternalTraitSpecificationFor
Implementors
In vstd::
function
Structs
ExFnProof
Traits
ExProofFn
ExProofFnMut
ExProofFnOnce
ExProofFnReqEns
ExProofFnReqEnsAssoc
ExProofFnSpecification
Functions
group_function_axioms
proof_fn_as_req_ens
vstd
::
function
Trait
ExProofFnMut
Copy item path
Settings
Help
Summary
Source
pub trait ExProofFnMut:
ProofFnOnce
{ type
ExternalTraitSpecificationFor
:
ProofFnMut
; }
Required Associated Types
§
Source
type
ExternalTraitSpecificationFor
:
ProofFnMut
Implementors
§