def taken.cons

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

import Base

1116def taken.cons(c: Char, +k: Nat, t: Taken) -> Taken:
1117  match t:
1118    case Taken{text, n}:
1119      Taken{SCon{c, text}, Nat.add(k, n)}