def invalid_step

qasim-bend-kit@0.1.0.2 · proof/JSON_PrimitiveProof.bend:65

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

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