Tick.dec_of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tick
Lines 131-138 of cswap-bend-cli@0.1.0.0/daemon/tick.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&start_line=131&end_line=138

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/rank.bend as PR
import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G
import cswap-bend-cli@0.1.0.0/daemon/view.bend as V
import cswap-bend-cli@0.1.0.0/daemon/dec.bend as Dc

def dec_of(+d: T.Decision, +es: List<&2, G.Ent>, +active: Maybe<&2, T.Usage>, +now: Nat, +ms: List<&2, String>) -> Dc.Dec:
  match d:
    case T.NoSwitch{T.AllExhausted{e}, detail}:
      exhausted_dec(e)
    case T.NoSwitch{r, detail}:
      Dc.DNone{T.reason.name(r), detail}
    case T.Switch{+to, trig, why, h, mode, rec, bar}:
      Dc.DGo{Nat.show(to), V.email_of(es, Nat.show(to)), T.trigger.name(trig), left_headroom(active, now, ms), opt_secs(PR.rec.row(active, now, ms))}

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/dec.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/gather.bend&name=Ent
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=exhausted_dec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=left_headroom
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=opt_secs
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/view.bend&name=email_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=rec.row
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Reason
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Usage
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=reason.name
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=trigger.name