~/jendhub

def verdict

bolt@1.27.0.0 · src/rules/correctness/arms.bend:97

import bolt@1.27.0.0/src/rules/correctness/arms.bend as Arms
import Base
import bolt@1.27.0.0/src/finding.bend as F

97# the arm against the widest one above, if any
98def verdict(ww: Maybe<&2, Wide>, aa: Arm, +path: String, more: List<&2, F.Finding>) -> List<&2, F.Finding>:
99  match ww:
100    case None{}:
101      more
102    case Some{Wide{k, text}}:
103      verdict.on(k, text, aa, path, more)

Uses (7)

Used by (1)