# Local package seal. Importing the seal checks that laws and proof travel
# together; it does not publish this package.
import ./PROOF.bend as Proof