Module departed::proof

Structs

Proof	A proof that can be passed to a function to prove that a predicate has been satisfied.
SuchThat	A value with a proof attached

Functions

such_that

Attaches a proof to a value