~/bend-docscommunity

seal.bend checks

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

Seal — publish entry so LAWS+PROOF ship with the package. Publishing is intentionally not performed by this task.

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.