def lawful

bolt@1.27.0.0 · src/role.bend:126

import Base

126# the roots of the law files: every LAWS.bend
127def lawful(fs: List<&2, Fact>) -> List<&2, String>:
128  match fs:
129    case Nil{}:
130      Nil{}
131    case Con{Fact{norm, _deps, +named, _entry}, rest}:
132      +more = lawful(rest)
133      Bool.pick(List<&2, String>, is_laws(named), norm <> more, more)