Module State_partitioning

module State_partitioning: sig .. end

module type Param = sig .. end
module type Domain = sig .. end
module type Partition = sig .. end
module type Partitioning = functor (Domain : Domain-> functor (Param : Param-> Partition  with type state = Domain.t
               and type loop = Param.loop