Type alias InputFile