def top.line
bend-toon-codec@0.1.0.0 · src/step.bend:218
import bend-toon-codec@0.1.0.0/src/step.bend as Step
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/frame.bend as F
218def top.line(+deep: Bool, +text: String, +top: F.Fr, +rest: List<&2, F.Fr>, +root: Maybe<&2, J.Json>, +bmin: U32, +strict: Bool) -> Result<&2, &2, String, F.St>:
219 match deep:
220 case True{}:
221 Fail{"unexpected indentation"}
222 case False{}:
223 top.go(text, top, rest, root, bmin, strict)