-
David Bühler authored
Removes state_partitioning.mli. Since there is only one implementation of state_partitioning signature, there is no need to keep this separate file.
90723a44
Removes state_partitioning.mli. Since there is only one implementation of state_partitioning signature, there is no need to keep this separate file.