JSONNumberLexProof.number_other_invalid: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof.bend as JSONNumberLexProof
Lines 37-48 of qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof.bend&start_line=37&end_line=48

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

def number_other_invalid(state: J.NumberState) -> {J.number_step(J.NOther{}, state) == J.NumberInvalid{} : J.NumberState}:
    match state:
        case J.NumberStart{}: {==}
        case J.NumberMinus{}: {==}
        case J.NumberZero{}: {==}
        case J.NumberInteger{}: {==}
        case J.NumberDot{}: {==}
        case J.NumberFraction{}: {==}
        case J.NumberExponent{}: {==}
        case J.NumberExponentSign{}: {==}
        case J.NumberExponentDigits{}: {==}
        case J.NumberInvalid{}: {==}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=NumberChar
  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_step