def br.upd

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:94

import Base

94def br.upd(+acc: Br, +r: Maybe<&2, Nat>) -> Br:
95  match acc r:
96    case NotBlocked{} None{}:
97      BlockedNoTs{}
98    case BlockedNoTs{} None{}:
99      BlockedNoTs{}
100    case BlockedAt{x} None{}:
101      BlockedAt{x}
102    case NotBlocked{} Some{t}:
103      BlockedAt{t}
104    case BlockedNoTs{} Some{t}:
105      BlockedAt{t}
106    case BlockedAt{x} Some{t}:
107      BlockedAt{Nat.max(x, t)}