functor (SC : SCHEDULER) ->
functor (LT : LATTICE) ->
functor
(CF : sig
type st = SC.st
val start : st
val last : st
val all : st list
val pred : st -> st list
val succ : st -> st list
val to_s : st -> string
end) ->
functor
(DF : sig
type l = LT.l
type st = SC.st
val init : st -> l
val trans : l -> st -> l
end) ->
sig
type l = LT.l
type st = SC.st
val to_s : l -> string
val inn : st -> l
val out : st -> l
val fixed_pt : unit -> unit
end