Module Cil_datatype.Varinfo_Id

module Varinfo_Id: Hptmap.Id_Datatype 

include Datatype.S
val id : t -> int

Identity of a key. Must verify id k >= 0 and equal k1 k2 ==> id k1 = id k2