# Seal — publish entry so the implementation and its verified laws travel together.
# Publishing is intentionally not performed by this task.
import ./PROOF.bend as Proof