# Publish seal: imports the implementation and its checked laws.
# Consumers should continue importing lib.bend from the published hash.
import ./PROOF.bend as Proof