def read.once

emerging-eztoml@0.9.0.0 · main.bend:4567

import Base

4567# one new character, then a held character if the step asked for one
4568def read.once(st: St, cc: Char) -> St:
4569  read.once2(read.step(st, cc))