def firstrh.hit

cswap-bend-cli@0.1.0.0 · policy/pick.bend:327

import Base
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R

327def firstrh.hit(+c: Maybe<&2, RH>, +r0: Maybe<&2, Nat>, +h0: Nat) -> Bool:
328  match c:
329    case None{}:
330      False{}
331    case Some{x}:
332      match x:
333        case RH{r, h}:
334          R.rec.req(r, r0) && Nat.is_eq(h, h0)