def span.drop

emerging-eztoml@0.9.0.0 · main.bend:2571

import Base

2571# the unread suffix of a span that will not be stored
2572def span.drop(src: String) -> Unit:
2573  match src:
2574    case SNil{}:
2575      Unit{}
2576    case SCon{_h, t}:
2577      span.drop(t)