def cert_valid

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

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

25def cert_valid(+text: String,
26               certificate: J.NumberCert<text>) -> {J.number_valid(text) == True{} : Bool}:
27    match certificate:
28        case J.Certified{witness}: proof_valid(J.number_valid(text), witness)