abstract_bag.v 2.15 KB