with Brackets,Brackets_io; use Brackets,Brackets_io; package body Bracket_Monomials_io is procedure put ( bm : in Bracket_Monomial ) is begin put(Standard_Output,bm); end put; procedure put ( file : in file_type; bm : in Bracket_Monomial ) is procedure Write_Bracket ( b : in Bracket; cont : out boolean ) is begin put(file,b); cont := true; end Write_Bracket; procedure Write_Brackets is new Enumerate_Brackets(Write_Bracket); begin Write_Brackets(bm); end put; end Bracket_Monomials_io;