with Bracket_Polynomials_io; use Bracket_Polynomials_io; package body Bracket_Systems_io is procedure put ( s : in Bracket_System ) is begin put(Standard_Output,s); end put; procedure put ( file : in file_type; s : in Bracket_System ) is begin for i in s'range loop put(file,s(i)); end loop; end put; end Bracket_Systems_io;