~/bend-docscommunity

general/rose/PROOF.bend checks

raw source on the hub · import 0x635d6b0e0ec6a1b1f1319bf06aa496d9/general/rose/PROOF.bend as PROOF

4 imports
import Base
import ./type.bend as R
import ./ops.bend as O
import ./LAWS.bend as Laws

This file declares nothing of its own.