~/jendhub

def invalid_end

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

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

83def invalid_end(+text: String) -> {J.number_valid_end(J.number_valid_step(text, J.NumberInvalid{})) == False{} : Bool}:
84    Equal.cong(J.NumberState, Bool, J.number_valid_end, J.number_valid_step(text, J.NumberInvalid{}), J.NumberInvalid{}, invalid_step(text))

Uses (7)

Used by (1)