def stale.cons

yaml-for-bend@0.1.1.0 · scan.bend:533

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

533def stale.cons(+possible: Bool, required: Bool, number: Nat, +kat: T.Mark, tab: Bool, r: Result<&2, &2, T.Error, List<&2, SKey>>) -> Result<&2, &2, T.Error, List<&2, SKey>>:
534  match r:
535    case Fail{e}:
536      Fail{e}
537    case Done{+ks}:
538      Done{SKey{possible, required, number, kat, tab, low.with(low.of(ks), possible, kat)} <> ks}