module M: Macros
Macros
val bug : string -> 'a
string -> 'a
val cbug : bool -> string -> unit
bool -> string -> unit
val pretty_node : Format.formatter -> PdgTypes.Node.t -> unit
Format.formatter -> PdgTypes.Node.t -> unit
val get_pdg_kf : PdgTypes.Pdg.t -> Kernel_function.t
PdgTypes.Pdg.t -> Kernel_function.t
val pdg_name : PdgTypes.Pdg.t -> string
PdgTypes.Pdg.t -> string