sig
module
Make
:
State_partitioning
.
Partitioning
end