def quoted

bend-toon-codec@0.1.0.0 · src/entry.bend:58

import Base
import bend-toon-codec@0.1.0.0/src/text.bend as T

58def quoted(+r: Result<&2, &2, String, T.Cut>) -> Result<&2, &2, String, Ent>:
59  match r:
60    case Fail{e}:
61      Fail{e}
62    case Done{T.Cut{k, rest}}:
63      quoted.rest(k, rest)