List of all items

Structs

• FnProof
• FnSpec
• Ghost
• NoCopy
• ProofFnConfirm
• SpecChain
• Tracked
• int
• nat
• real

Traits

• Boolean
• Chainable
• Decimal
• IeeeFloat
• IeeeFloatCast
• Integer
• ProofFn
• ProofFnMut
• ProofFnOnce
• ProofFnReqEns
• ProofFnReqEnsDef
• SpecAdd
• SpecBitAnd
• SpecBitOr
• SpecBitXor
• SpecEq
• SpecEuclideanMod
• SpecEuclideanOrRealDiv
• SpecMul
• SpecNeg
• SpecOrd
• SpecShl
• SpecShr
• SpecSub
• Structural

Macros

• decreases_to
• decreases_to_internal
• with_triggers

Constants

• PROOF_FN
• PROOF_FN_COPY
• PROOF_FN_MUT
• PROOF_FN_ONCE
• PROOF_FN_SEND
• PROOF_FN_SYNC