~/jendhub

def mode.row

cswap-bend-cli@0.1.0.0 · pollrow.bend:156

import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow
import Base
import cswap-bend-cli@0.1.0.0/poll.bend as Poll

156def mode.row(r: Row, +now: U32, +respect: Bool, +repair: Bool) -> Bool:
157  match r:
158    case Row{fetched, lg, la, fl, le, bu, np, iv, l429, st, sfp, cu, hu}:
159      mode.go(respect, repair, Poll.nat_maybe(fetched), Poll.nat_maybe(np), nat_of(iv, 600), U32.to_nat(now))

Uses (7)

Used by (1)