~/jendhub

def number_quote

qasim-bend-kit@0.1.0.2 · proof/JSON_StringProof.bend:1977

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

1977def number_quote(+text: String) -> {J.number_valid(SCon{'"', text}) == False{} : Bool}:
1978    Equal.cong(J.NumberState, Bool, J.number_valid_end, J.number_valid_step(text, J.NumberInvalid{}), J.NumberInvalid{}, P.invalid_step(text))

Uses (9)

Used by (1)