~/jendhub

def proof_valid

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

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

19def proof_valid(+valid: Bool, witness: J.NumberProofFrom(valid)) -> {valid == True{} : Bool}:
20    match valid:
21        case True{}: {==}
22        case False{}:
23            match witness:

Uses (2)

Used by (1)