Module Legacy_partitioning

module Legacy_partitioning: sig .. end

module Make: State_partitioning.Partitioning