type Ci

bend-toon-codec@0.1.0.0 · src/fold.bend:16

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

16# A chain: how many segments, the folded key, the value after the last
17# segment, and whether every segment is an identifier.
18type Ci is Data:
19  Ci{n: U32, key: String, tail: J.Json, ok: Bool}