# Local package seal. Publishing is intentionally not performed.
# Importing PROOF includes lib.bend and LAWS.bend in the dependency cone.
import ./PROOF.bend as Proof