def last
import ezx@1.11.0.0/src/ez/named.bend as Namedimport Base
37# the text after its last slash, and whether it had one
38def last(text: String) -> Seen:
39 match text:
40 case SNil{}:
41 Seen{False{}, ""}
42 case SCon{+h, t}:
43 last.step(h, last(t))