1# Bend Bank: the proofs2# =====================3#4# Each law of LAWS.bend is proven in its own file in proof/, from the5# lemmas in proof/base.bend. `bend PROOF.bend --verdict` checks them all.67import Base8import ./LAWS.bend as Laws9import ./proof/privacy.bend as Privacy10import ./proof/sound.bend as Sound11import ./proof/authority.bend as Authority12import ./proof/escrow.bend as Escrow13import ./proof/loan.bend as Loan14import ./proof/split.bend as Split15import ./proof/conservation.bend as Conservation16import ./proof/join.bend as Join17import ./proof/atomicity.bend as Atomicity18import ./proof/totality.bend as Totality19import ./proof/access.bend as Access