functor
  (C : sig
         val name : string
         val dump : unit -> unit
         val compute : unit -> unit
         type t
         val ty : Journalize.Make.t Type.t
         val get : unit -> Journalize.Make.t
       end->
  sig
    val dump : unit -> unit
    val compute : unit -> unit
    val get : unit -> C.t
  end