sig module Make : State_partitioning.Partitioning end