def exempt3

cswap-bend-cli@0.1.0.0 · daemon/plan.bend:121

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

121def exempt3(+u: T.Usage, +h: Maybe<&2, Nat>) -> Bool:
122  match u h:
123    case T.Usage{s, five, fr, seven, sr, ss, fa, bo, er, fl, Some{np}, pi, ad, hu, cu, se} Some{x}:
124      Nat.is_eq(x, 0n) && Nat.is_gt(pi, 600n)
125    case _ _:
126      False{}