~/bend-docscommunity

seal.bend checks

raw source on the hub · import 0xab5b72f8eac09d083aa0b359ebe0a970/seal.bend as Seal

Local package seal. Importing the seal checks that laws and proof travel together; it does not publish this package.

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.