~/bend-docscommunity

domain/architecture/PROOF.bend checks

raw source on the hub · import 0x3ffc69d4b5da64782dbe50fda425aa0c/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.