def stated

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

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/syntax/bind.bend as Bind

316# what a file's laws name: only a LAWS.bend states laws that cover a def
317def stated(is_laws: Bool, root: Tree.Node, bound: Bind.Bound, as: List<&2, Alias>, file: String) -> List<&2, Mention>:
318  match is_laws:
319    case True{}:
320      mentions(uses.of(bound), spans(root), as, file)
321    case False{}:
322      Nil{}