def word.drop

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

import Base

688# drop an unread suffix. Tail call, so a failed long value does not stack
689def word.drop(txt: String) -> Bool:
690  match txt:
691    case SNil{}:
692      True{}
693    case SCon{c, t}:
694      word.drop(t)