def String.drop

Base · base.bend:2142

2142def String.drop(s: String, n: Nat) -> String:
2143  match s n:
2144    case SNil{} _:
2145      SNil{}
2146    case SCon{h, t} 0n:
2147      SCon{h, t}
2148    case SCon{h, t} 1n+p:
2149      String.drop(t, p)