def word.forget

emerging-ezjson@1.3.0.0 · src/pull.bend:696

import Base

696# drop a word's characters. Tail call, so a long spelling does not stack
697def word.forget(buf: List<&2, Char>) -> Bool:
698  match buf:
699    case Nil{}:
700      True{}
701    case Con{c, t}:
702      word.forget(t)