def drop

bend-toon-codec@0.1.0.0 · src/head.bend:14

import Base

14# Without the first character.
15def drop(+s: String) -> String:
16  match s:
17    case SNil{}:
18      SNil{}
19    case SCon{h, t}:
20      t