seal.bend checks
raw source on the hub · import 0x87443356945470112b78ad5f17a0cfb9/seal.bend as Seal
1 import
import ./PROOF.bend as Proof
Definitions
def _seal_anchor source · line 4 · raw
Type
Force the proof module into the dependency cone for publication.