def array_next_atom

qasim-bend-kit@0.1.0.2 · proof/JSON_AssemblyProof.bend:101

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J

101def array_next_atom(result: Result<&1, &1, J.Error, J.Value>,
102                    -tail: List<J.Token>,
103                    +acc: List<&2, J.Value>,
104                    +kont: J.ParserKont) -> {J.assemble(J.Atom{result} <> tail, J.ArrayNext{acc, kont}) == J.assemble(J.Atom{result} <> tail, J.NeedValue{J.InArray{acc, kont}}) : R()}:
105    {==}