def secs_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
84def secs_at(+key: String, +j: Json.Json) -> Maybe<&2, U32>:
85 secs_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
84def secs_at(+key: String, +j: Json.Json) -> Maybe<&2, U32>:
85 secs_at2(Json.get(key, j))