def hdr_of

cswap-bend-cli@0.1.0.0 · tui/read.bend:189

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/tui/model.bend as M
import cswap-bend-cli@0.1.0.0/tui/num.bend as N

189def hdr_of(+version: String, +live: Bool, +status: Json.Json, +settings: Json.Json) -> M.Hdr:
190  M.Hdr{version, live, N.uint_at(f_pid(), status), thr_of(live, status, settings), every_of(live, status, settings), N.iso_at(f_next_poll(), status)}