# Seal imports the complete proof surface for packaging.
import ./PROOF.bend as Proof