def array_first_atom

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

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

96def array_first_atom(result: Result<&1, &1, J.Error, J.Value>,
97                     -tail: List<J.Token>,
98                     +kont: J.ParserKont) -> {J.assemble(J.Atom{result} <> tail, J.ArrayFirst{kont}) == J.assemble(J.Atom{result} <> tail, J.NeedValue{J.InArray{Nil{}, kont}}) : R()}:
99    {==}