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