Module Register

module Register: sig .. end

val entry_point_ref : Callgraph.callnode option Pervasives.ref

module Service: Service_graph.Make(sig

val datatype_name : string
type t = Callgraph.callgraph 


module V: sig .. end
val iter_vertex : ('a -> unit) -> ('b, 'a) Hashtbl.t -> unit
val iter_succ : (Callgraph.callnode -> unit) -> 'a -> Callgraph.callnode -> unit
val iter_pred : (Callgraph.callnode -> unit) -> 'a -> Callgraph.callnode -> unit
val fold_pred : (Callgraph.callnode -> 'a -> 'a) -> 'b -> Callgraph.callnode -> 'a -> 'a
end)

module CG: State_builder.Option_ref(Service.CallG.Datatype)(sig

val name : string
val dependencies : State.t list
end)

val get_init_funcs : Datatype.String.Set.elt option ->
       (Datatype.String.Set.elt, Callgraph.callnode) Hashtbl.t -> Options.InitFunc.t

val compute : unit -> Service.CallG.t

val get : unit -> CG.data

val dump : unit -> unit