Module Basic_partitioning

module Basic_partitioning: sig .. end

module Make: State_partitioning.Partitioning