# Publish seal for RingBuf. Laws are included transitively.
# Consumers should import lib.bend from the published package hash.
import ./PROOF.bend as Proof