def all_above

cswap-bend-cli@0.1.0.0 · policy/rank.bend:216

import Base

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