sig
  module Make :
    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
end