easet.n

This file encodes an exception information as a unique integer and includes operations (mkelmt, one, cup, cap, subset, minus, add, iter, empty, prElmt, and prSet) for a set of exceptions.