def text.tail

ezsys@0.1.0.0 · src/text.bend:51

import ezsys@0.1.0.0/src/text.bend as Text

import Base

51# the characters of a delimiter after its first
52def text.tail(delim: String) -> Nat:
53  match delim:
54    case SNil{}:
55      0n
56    case SCon{_hd, tl}:
57      String.length(tl)

Uses (3)

Used by (2)