def NumberProofFrom

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

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

import Base

599def NumberProofFrom(valid: BoolType()) -> Data:
600    match valid:
601        case True{}:
602            Unit
603        case False{}:
604            Empty

Uses (4)

Used by (4)