~/bend-docscommunity

seal.bend checks

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

Seal — publish entry so LAWS+PROOF ship with the package. Consumers: import 0xHASH/lib.bend as Alias

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.