with text_io; use text_io; with Bracket_Systems; use Bracket_Systems; package Bracket_Systems_io is -- DESCRIPTION : -- This package provides output routines for systems of bracket polynomials. procedure put ( s : in Bracket_System ); procedure put ( file : in file_type; s : in Bracket_System ); end Bracket_Systems_io;