def iso_at
import cswap-bend-cli@0.1.0.0/tui/num.bend as Numimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
101def iso_at(+key: String, +j: Json.Json) -> Maybe<&2, U32>:
102 iso_at2(Json.get(key, j))
import cswap-bend-cli@0.1.0.0/tui/num.bend as Numimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
101def iso_at(+key: String, +j: Json.Json) -> Maybe<&2, U32>:
102 iso_at2(Json.get(key, j))