Module Cil_datatype.LvalStructEqStrict

module LvalStructEqStrict: S_with_collections  with type t = lval

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