module type Services = sig .. end
sig
end
Signature for a graph of services
include Callgraph_api.Graph
val entry_point : unit -> G.V.t option
unit -> G.V.t option
val is_root : Kernel_function.t -> bool
Kernel_function.t -> bool