~/jendhub

def slash.drop

cswap-bend-cli@0.1.0.0 · fs.bend:141

import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import Base

141# Drop through the first `/` (the input is a reversed path).
142def slash.drop(s: String) -> String:
143  match s:
144    case SNil{}:
145      SNil{}
146    case SCon{+c, +t}:
147      slash.pick(Char.is_eq(c, '/'), t, slash.drop(t))

Uses (4)

Used by (1)