How can I define a subtype of String that allows only hex characters to be used? Here is my attempt, but I fail at the subtype definition:

subtype Hex_Character is Character
  with Static_Predicate => Hex_Character in 
     'A' .. 'F' | 'a' .. 'f' | '0' .. '9';
subtype Hex_String is String ...;