Module Cil_datatype.Stmt_Id

module Stmt_Id: Hptmap.Id_Datatype  with type t = stmt

include Datatype.S
val id : t -> int
Identity of a key. Must verify id k >= 0 and equal k1 k2 ==> id k1 = id k2