Scan.taken.cons: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/scan.bend as Scan
Lines 1116-1119 of yaml-for-bend@0.1.1.0/scan.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/scan.bend&start_line=1116&end_line=1119

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/scan.bend&name=Taken