def reads.one

shake@0.7.0.0 · src/check.bend:195

import Base

195# a read report when the flag is set, else none
196def reads.one(hit: Bool, err: ReadErr) -> List<&2, ReadErr>:
197  match hit:
198    case True{}:
199      [err]
200    case False{}:
201      []