with text_io,Bracket_Monomials; use text_io,Bracket_Monomials; package Bracket_Monomials_io is -- DESCRIPTION : -- This package provides input/output operations for bracket monomials. procedure put ( bm : in Bracket_Monomial ); procedure put ( file : in file_type; bm : in Bracket_Monomial ); -- DESCRIPTION : -- Writes a bracket monomial on standard output or on file if -- this file is specified as argument. end Bracket_Monomials_io;