The procedures Create, Put_Line, Close from the package Ada.Text_IO is used to create and write to the file file.txt.
procedure Main is
F : File_Type;
Create (F, Out_File, "file.txt");
Put_Line (F, "This string will be written to the file file.txt");
This string will be written to the file.txt