def str.eq.step

emerging-eztoml@0.9.0.0 · main.bend:1196

import Base

1196# character-for-character equality. a mismatch drops the rest and stops
1197def str.eq.step(aa: String, bb: String, same: Bool) -> Bool:
1198  match aa bb same:
1199    case SNil{} SNil{} True{}:
1200      True{}
1201    case SCon{x, xt} SCon{y, yt} True{}:
1202      str.eq.step(xt, yt, Char.is_eq(x, y))
1203    case _a _b _s:
1204      False{}