def float.field

cswap-bend-cli@0.1.0.0 · usage/norm.bend:114

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/usage/text.bend as UText

114# float(field) as Python prints it.
115def float.field(+k: String, +j: Json.Json) -> Maybe<&2, String>:
116  do Maybe<&2, String>:
117    t : String <- num.field(k, j)
118    UText.float(t)