Functor Journalize.Make

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

val dump : unit -> unit
val compute : unit -> unit
val get : unit -> C.t