def any_api

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:77

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 R

77def any_api(+as: List<&2, T.Account>, +active: Nat) -> Bool:
78  match as:
79    case Nil{}:
80      False{}
81    case Con{a, t}:
82      R.isapi(a, active) || any_api(t, active)