module Hkey: sig .. end
sig
end
type tt =
|
Hdecl of Cil_types.varinfo
Cil_types.varinfo
Hstmt of int
int
Hlabel of int * Cil_types.label
int * Cil_types.label
val hkey : PdgIndex.Key.key -> tt
PdgIndex.Key.key -> tt
val key : tt -> PdgIndex.Key.key
tt -> PdgIndex.Key.key
include struct ... end