~/bend-docscommunity

seal.bend checks

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

Seal — local publish entry. Importing this file checks that laws and proofs travel with the package; it does not publish anything by itself. Consumers (after publish): import 0xHASH/lib.bend as ColorSample

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.