def text.after

ezsys@0.1.0.0 · src/str.bend:78

import ezsys@0.1.0.0/src/str.bend as Str

import Base

78# how many characters of a separator follow its first
79def text.after(sep: String) -> Nat:
80  match sep:
81    case SNil{}:
82      0n
83    case SCon{_h, t}:
84      String.length(t)

Uses (3)

Used by (2)