# Seal — publish entry so LAWS+PROOF ship with the package.
# Consumers: import 0xHASH/lib.bend as Alias
import ./PROOF.bend as Proof