def chk_next
import mylsm-lsm-store@0.3.2.0/src/Wal.bend as Walimport Base
94def chk_next(ceq: Bool, next: Phase, +muts: List<&2, Mut>, +tag: Char, +key: String, +val: String) -> DecState:
95 match ceq:
96 case True{}:
97 DS{next, muts, tag, 0n, key, val, "", True{}}
98 case False{}:
99 DS{PTag{}, muts, tag, 0n, "", "", "", False{}}