~/bend-docscommunity

domain/architecture/PROOF.bend checks

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