seal.bend checks
raw source on the hub · import 0x4c13780015689c83e56d725a171fc6e9/seal.bend as Seal
Seal imports the complete proof surface for packaging.
1 import
import ./PROOF.bend as Proof
This file declares nothing of its own.
raw source on the hub · import 0x4c13780015689c83e56d725a171fc6e9/seal.bend as Seal
Seal imports the complete proof surface for packaging.
import ./PROOF.bend as Proof
This file declares nothing of its own.