type Er

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

import Base

17type Er is Data:
18  ErNone{}
19  ErAt{t: Nat}
20  ErPoison{}