Rank.all_above: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/rank.bend as Rank
Lines 216-224 of cswap-bend-cli@0.1.0.0/policy/rank.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&start_line=216&end_line=224

import Base

# Is the active account and every measured candidate at or over the threshold?
def all_above(+m: Meas, +ah: Maybe<&2, Nat>, +thr: Nat) -> Bool:
  match m:
    case Meas{any, all, best}:
      match ah:
        case None{}:
          False{}
        case Some{a}:
          above.thr(a, thr) && any && all

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=Meas
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&name=above.thr