# Seal — local publish entry. Importing this file checks that laws and proofs
# travel with the package; it does not publish anything by itself.
import ./PROOF.bend as Proof