~/jendhub

def read.once.hold

emerging-eztoml@0.9.0.0 · main.bend:4552

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

4552# a held character is read once
4553def read.once.hold(hold: Hold, st: St) -> St:
4554  match hold:
4555    case HNone{}:
4556      st
4557    case HChar{c}:
4558      read.step(st, c)

Uses (3)

Used by (1)