~/bend-docscommunity

seal.bend checks

raw source on the hub · import 0x831d2a84246839cb2e33f4e7653d3f09/seal.bend as Seal

Publish seal for RingBuf. Laws are included transitively. Consumers should import lib.bend from the published package hash.

1 import
import ./PROOF.bend as Proof

This file declares nothing of its own.