module ConstantStrict: S_with_collections with type t = constant
S_with_collections
with type t = constant
Same as Cil_datatype.Constant, but comparison is strict, in the sense that it will take into account textual representation if provided.
Cil_datatype.Constant