def er.min

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

import Base

139def er.min(+e: Er, +t: Nat) -> Er:
140  match e:
141    case ErNone{}:
142      ErAt{t}
143    case ErAt{x}:
144      ErAt{Nat.min(x, t)}
145    case ErPoison{}:
146      ErPoison{}