Bind.rest_of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 214-220 of bolt@1.27.0.0/src/syntax/bind.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&start_line=214&end_line=220

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.from_list
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop