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