def recov.self

cswap-bend-cli@0.1.0.0 · policy/bar.bend:63

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

63# Headroom risen three points past the departure baseline.
64def recov.self(+h: Maybe<&2, Nat>, +lh: Maybe<&2, Nat>) -> Bool:
65  match h lh:
66    case Some{x} Some{l}:
67      Nat.is_ge(x, Nat.min(Nat.add(l, 300n), T.full()))
68    case o _:
69      False{}