abstract_bag.v 2.17 KB