Module Loop_partitioning

module Loop_partitioning: sig .. end

module Make: State_partitioning.Partitioning