def reached

bolt@1.27.0.0 · src/role.bend:63

import bolt@1.27.0.0/src/role.bend as Role

import Base

63# what a file on the laws' side is: a law file when a LAWS.bend reaches it,
64# else a proof file
65def reached(laws: Bool) -> Role:
66  Bool.pick(Role, laws, Laws{}, Proof{})

Uses (3)

Used by (1)

bolt@1.27.0.0/src/role:marks.of