Module Cil_datatype.ExpStructEq

module ExpStructEq: S_with_collections  with type t = exp