def number_proof

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

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

import Base

639def number_proof(+lexeme: String,
640                 evidence: {number_valid(lexeme) == True{} : BoolType()}) -> NumberProof(lexeme):
641    %Equal.sym(BoolType(), number_valid(lexeme), True{}, evidence) : NumberProofFrom(_)
642    Unit{}

Uses (8)

Used by (6)