Module Journalize

module Journalize: sig .. end

Journalize the API of a callgraph


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