# Seal — publish entry so LAWS+PROOF ship with the package.
# Consumers import the sealed lib path after publication.
import ./PROOF.bend as Proof