math-comp/hierarchy-builder

High level commands to declare a hierarchy based on packed classes