# Seal — local publish entry. Importing this file checks that laws and proofs
# travel with the package; it does not publish anything by itself.
# Consumers (after publish): import 0xHASH/lib.bend as ColorSample
import ./PROOF.bend as Proof