def one

shake@0.7.0.0 · src/check.bend:18

import Base

18# one report when the flag is set, else none
19def one(hit: Bool, err: SpecErr) -> List<&2, SpecErr>:
20  match hit:
21    case True{}:
22      [err]
23    case False{}:
24      []