def number_other_invalid

qasim-bend-kit@0.1.0.2 · proof/JSON_NumberLexProof.bend:37

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

37def number_other_invalid(state: J.NumberState) -> {J.number_step(J.NOther{}, state) == J.NumberInvalid{} : J.NumberState}:
38    match state:
39        case J.NumberStart{}: {==}
40        case J.NumberMinus{}: {==}
41        case J.NumberZero{}: {==}
42        case J.NumberInteger{}: {==}
43        case J.NumberDot{}: {==}
44        case J.NumberFraction{}: {==}
45        case J.NumberExponent{}: {==}
46        case J.NumberExponentSign{}: {==}
47        case J.NumberExponentDigits{}: {==}
48        case J.NumberInvalid{}: {==}