def er.out

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

import Base

164def er.out(+e: Er) -> Maybe<&2, Nat>:
165  match e:
166    case ErAt{t}:
167      Some{t}
168    case o:
169      None{}