def units.step

bolt@1.27.0.0 · src/lsp/enc.bend:65

import Base

65# the units a char and the ones after it take: two for a wide char, else one
66def units.step(isw: Bool, rest: Nat) -> Nat:
67  match isw:
68    case True{}:
69      2n+rest
70    case False{}:
71      1n+rest