Module Cil_datatype.ExpStructEqStrict

module ExpStructEqStrict: S_with_collections  with type t = exp

structural equality, with strict constant comparison as in Cil_datatype.ConstantStrict