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