# Seal — publish entry so LAWS+PROOF ship with the package.
# Publishing is intentionally not performed by this task.
import ./PROOF.bend as Proof