def drop

gralha-text-scan@0.1.0.1 · scan.bend:91

import Base

91def drop(s: String, p: String) -> String:
92  match s p:
93    case s SNil{}: s
94    case SNil{} SCon{pc, pt}: ""
95    case SCon{sc, st} SCon{pc, pt}: drop(st, pt)