La lista completa de operaciones de Ada.Sequential_IO, se encuentra en el manual de referencia: .