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

Web Accessibility