fact: Fixpoint classes size t := match size with | O => StateSetSet.empty | Datatypes.S n => add_classes t n (classes n t) end.
imports: ATBR(Utils_WF) ATBR(DisjointSets) ATBR(DKA_Definitions) ATBR(MyFSets) ATBR(MyFSetProperties) ATBR(MyFMapProperties) ATBR(Common)