def separator

mylsm-lsm-store@0.6.0.1 · src/coordinator/StatsCodec.bend:77

import Base

77# Advances to a new stats field only after the current field has digits.
78def separator(parser: State, seen: Bool, scalar: U32) -> State:
79  match seen:
80    case False{}: Invalid{}
81    case True{}: separator.character(parser, scalar)