with Ada.Text_IO; use Ada.Text_IO; pragma Elaborate_All (Ada.Text_IO); package Intervals.IO is procedure Show(S: in Interval; NewLine: in Boolean := True); procedure Get(F: in File_Type; S: out Interval; Decimal: in Boolean := True); procedure Put(F: in File_Type; S: in Interval; Decimal: in Boolean := True); end Intervals.IO;