module Journalize: sig .. end
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 -> tend) -> sig .. end
functor (
C
:
val name : string
string
val dump : unit -> unit
unit -> unit
val compute : unit -> unit
type t
val ty : t Type.t
t Type.t
val get : unit -> t
unit -> t
end) -> sig .. end
) ->