b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder var a : Type;

b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder type FiniteSet: Type -> Type;

b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder ops {} : FiniteSet a;

b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder {__} : a -> FiniteSet a;

b5b03751832cc37eb5be9409d9efba4882935611Christian Maeder __ + __, __ - __ : FiniteSet a * FiniteSet a -> FiniteSet a