seal.bend checks
raw source on the hub · import 0xa7cf27ec43eaf330fae4f6dc71a5f4aa/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.