# Seal — package entry that carries the checked laws and proof.
# Publishing is intentionally not performed by this task.
import ./PROOF.bend as Proof