module Loop_partitioning: sig .. end
sig
end
module Make: State_partitioning.Partitioning
State_partitioning.Partitioning