module Stmt_Id: Hptmap.Id_Datatype with type t = stmt
Hptmap.Id_Datatype
with type t = stmt
include Datatype.S
val id : t -> int
t -> int
id k >= 0
equal k1 k2 ==> id k1 = id k2