Module Register

module Register: sig .. end
Register external functions into Db.

val compute : unit -> unit
val pretty : ?bw:bool -> Format.formatter -> PdgTypes.Pdg.t -> unit
val pretty_node : bool -> Format.formatter -> PdgTypes.Node.t -> unit
val print_dot : PdgTypes.Pdg.t -> string -> unit
module Tbl: Kernel_function.Make_Table(PdgTypes.Pdg)(sig
val name : string
val dependencies : 'a list
val size : int
end)
include Marks
val deps : State.t list
val compute : unit -> unit
val output : unit -> unit
val something_to_do : unit -> bool
val main : unit -> unit