def tz.after
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
913def tz.after(c: Char, s: String) -> String:
914 match s:
915 case SCon{h, t}:
916 Bool.pick(String, Char.is_eq(h, c), t, SNil{})
917 case SNil{}:
918 SNil{}
import bend-kit-time@0.3.0.0/time.bend as Timeimport Base
913def tz.after(c: Char, s: String) -> String:
914 match s:
915 case SCon{h, t}:
916 Bool.pick(String, Char.is_eq(h, c), t, SNil{})
917 case SNil{}:
918 SNil{}