module Partition = Partition
module Partition0 = Partition0
module Poly2 = Poly2