with Ada.Text_IO; use Ada.Text_IO; package Reps.IO is procedure Txt_Get(F: in File_Type; R: out Rep); procedure Txt_Put(F: in File_Type; R: in Rep); end Reps.IO;