~/bend-docscommunity

seal.bend checks

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

Publish seal: imports the implementation and its checked laws. Consumers should continue importing lib.bend from the published hash.

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.