Predicate PointsTo::PointsTo::Types::get_mro

ClassList get_mro(ClassObject cls)