~/bend-docscommunity

domain/architecture/PROOF.bend checks

raw source on the hub · import 0x635d6b0e0ec6a1b1f1319bf06aa496d9/domain/architecture/PROOF.bend as PROOF

7 imports
import Base
import ../../general/rose/ops.bend as RO
import ./type.bend as A
import ./ops.bend as O
import ./system/type.bend as S
import ./environment/type.bend as En
import ./LAWS.bend as Laws

This file declares nothing of its own.