def route_false

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

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

70def route_false(+text: String,
71                +valid: Bool,
72                evidence: {J.number_valid(text) == valid : Bool},
73                no: {valid == False{} : Bool}) -> {J.payload_number(text, valid, evidence) == J.payload_other(text) : R()}:
74    match valid:
75        case False{}: {==}
76        case True{}:
77            absurd({J.payload_number(text, True{}, evidence) == J.payload_other(text) : R()}, false_true(Equal.sym(Bool, True{}, False{}, no)))