~/bend-docscommunity

seal.bend checks

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

Seal — publish entry so the implementation and its verified laws travel together. Publishing is intentionally not performed by this task.

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.