seal.bend source

seal.bend on the hub · documented module

import ./PROOF.bend as Proof# Force the proof module into the dependency cone for publication.def _seal_anchor() -> Type:  Nat