package Malef.Fields is

   generic
      -- TODO: Use static predicacte to check valid values
   package Integer_Fields is
   end Integer_Fields;

   -- Modular_Fields
   -- String_Fields
   -- Enumerated_Fields
   -- Fixed_Fields
   -- Float_Fields

end Malef.Fields;
