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