La librería Ada.Sequential_IO ofrece tipos y operaciones para realizar entrada y salida secuencial con ficheros de componentes uniformes. Ada.Sequential_IO es un paquete genérico con un parámetro (Element_Type) que hay que concretar instanciando el paquete para fijar el tipo de los elementos de los ficheros que se van a manipular.
type File_Type is limited private;
type File_Mode is (In_File, Out_File, Append_File);
with Sequential_IO; ... package Fich_Integer_Sec is new Sequential_IO(Integer); ... Fichero : Fich_Integer_Sec.File_Type;