def laws.in

bolt@1.27.0.0 · src/rules/digest.bend:305

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/syntax/outline.bend as Outline

305# the laws of a LAWS.bend; no other file states any
306def laws.in(is_laws: Bool, root: Tree.Node, items: List<&2, Outline.Item>) -> List<&2, Law>:
307  match is_laws:
308    case True{}:
309      laws_of(root, items)
310    case False{}:
311      Nil{}