1 (*Dummy theory to document dependencies *)
2
3 Cardinal_aux = Cardinal + OrderType + CardinalArith + first