def exp.num

cswap-bend-cli@0.1.0.0 · usage/cred.bend:85

import cswap-bend-cli@0.1.0.0/usage/cred.bend as Cred
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

85def exp.num(+j: Json.Json, +now: U32) -> Bool:
86  match j:
87    case Json.JNum{t}:
88      exp.int(String.split(t, '.'), now)
89    case _:
90      False{}

Uses (6)

Used by (1)