~/bend-docscommunity

seal.bend checks

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

Local package seal. Publishing is intentionally not performed. Importing PROOF includes lib.bend and LAWS.bend in the dependency cone.

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.