module ExpStructEqStrict: S_with_collections with type t = exp
S_with_collections
with type t = exp
structural equality, with strict constant comparison as in Cil_datatype.ConstantStrict
Cil_datatype.ConstantStrict