vstd

Module function

Source

Structs§

ExFnProof

Traits§

ExProofFn
ExProofFnMut
ExProofFnOnce
ExProofFnReqEns
ExProofFnReqEnsAssoc
ExProofFnSpecification

Functions§

group_function_axioms
proof_fn_as_req_ens