Module Partitioning

module Partitioning: sig .. end

module type Domain = sig .. end

module type S = sig .. end

module Make: 
functor (Domain : Domain) -> 
functor (States : Powerset.S  with type state = Domain.t) -> S  with type state = Domain.t
       and type state_set = States.t