Inductive flagSet : Set := {
  flags      : list flag;
  flagsNoDup : NoDup flags;
}.
