def meas.best

cswap-bend-cli@0.1.0.0 · policy/decide.bend:219

import cswap-bend-cli@0.1.0.0/policy/decide.bend as Decide

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

219def meas.best(+m: R.Meas) -> Nat:
220  match m:
221    case R.Meas{any, all, best}:
222      best

Uses (2)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/decide:rank.ctx