import ./PROOF.bend as Proof

# Force the proof module into the dependency cone for publication.
def _seal_anchor() -> Type:
  Nat