type NumberCert

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:10

import Base

10type NumberCert<-s: String> is Data:
11    Certified{witness: NumberProof(s)}