~/bend-docscommunity

seal.bend checks

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

Seal — package entry that carries the checked laws and proof. Publishing is intentionally not performed by this task.

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.