~/jendhub

def taken.skip

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

import yaml-for-bend@0.1.1.0/scan.bend as Scan
import Base

1151# Tag characters, with %XX escapes decoded; +uri+ allows all URI characters
1152# (in a verbatim tag or a %TAG prefix).
1153def taken.skip(t: Taken) -> Taken:
1154  match t:
1155    case Taken{text, n}:
1156      Taken{text, 1n+n}

Uses (2)

Used by (1)