Module PdgIndex.Hkey


module Hkey: sig .. end


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