Module Cil_datatype.Enumitem

module Enumitem: S_with_collections  with type t = enumitem