def line_len

cswap-bend-cli@0.1.0.0 · tui/fmt.bend:84

import cswap-bend-cli@0.1.0.0/tui/fmt.bend as Fmt

import Base

84def line_len(+l: List<&2, Seg>) -> Nat:
85  match l:
86    case Nil{}:
87      0n
88    case Con{s, t}:
89      Nat.add(seg_len(s), line_len(t))

Uses (5)

Used by (1)

cswap-bend-cli@0.1.0.0/tui/fmt:fit