Module Cil_datatype.ConstantStrict

module ConstantStrict: 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.