Decide.decide.cands: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/decide.bend as Decide
Lines 336-337 of cswap-bend-cli@0.1.0.0/policy/decide.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&start_line=336&end_line=337

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/bar.bend as B
import cswap-bend-cli@0.1.0.0/policy/exhaust.bend as E

def decide.cands(+t: T.Trigger, +e: Env) -> T.Decision:
  cands.cf(trig.is_cf(t) && Bool.not(E.any_cand(env.as(e), env.active(e))) && Bool.not(B.is_none(env.ah(e))), t, e)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/bar.bend&name=is_none
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=Env
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=cands.cf
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=env.active
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=env.ah
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=env.as
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=trig.is_cf
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/exhaust.bend&name=any_cand
  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=Trigger