~/jendhub

def rest_of

bolt@1.27.0.0 · src/syntax/bind.bend:214

import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

214# a dotted name's part after the first dot
215def rest_of(cs: List<&2, Char>) -> String:
216  match cs:
217    case Nil{}:
218      ""
219    case Con{c, +t}:
220      Lazy.stop(String, Char.is_eq(c, '.'), String.from_list(t), _u => rest_of(t))

Uses (6)

Used by (1)