Auto.release_with: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto
Lines 161-166 of cswap-bend-cli@0.1.0.0/daemon/auto.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&start_line=161&end_line=166

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/clock.bend as Clock
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/daemon/quarantine.bend as Q
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

def release_with(+env: Tk.Env, +t: U32, +sq: Maybe<&2, Json.Json>) -> Act.of(List<&2, Json.Json>):
  match sq:
    case None{}:
      Act.pure(List<&2, Json.Json>, [])
    case Some{seq}:
      Q.release_recovered(SBase.root_of(Tk.env_ctx(env)), seq, Clock.iso8601_utc(t))

Uses (11):
  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=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=iso8601_utc
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/quarantine.bend&name=release_recovered
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=Env
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=env_ctx
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=root_of