Inductive identifier : Set := identifierMake {
  idGroup             : string;
  idName              : string;
  idVersionMajor      : nat;
  idVersionMinor      : nat;
  idVersionMajorRange : idVersionMajor <= 4294967295;
  idVersionMinorRange : idVersionMinor <= 4294967295
}.
