JSONPrimitiveProof.invalid_step: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/proof/JSON_PrimitiveProof.bend as JSONPrimitiveProof
Lines 65-68 of qasim-bend-kit@0.1.0.2/proof/JSON_PrimitiveProof.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_PrimitiveProof.bend&start_line=65&end_line=68

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

def invalid_step(+text: String) -> {J.number_valid_step(text, J.NumberInvalid{}) == J.NumberInvalid{} : J.NumberState}:
    match text:
        case SNil{}: {==}
        case SCon{head, tail}: {==}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=NumberState
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=number_valid_step