def prefix

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

import Base

84def prefix(s: String, p: String) -> Bool:
85  match s p:
86    case _ SNil{}: True{}
87    case SNil{} SCon{pc, pt}: False{}
88    case SCon{sc, st} SCon{pc, pt}:
89      U32.is_eq(code(sc), code(pc)) && prefix(st, pt)