Definitions for "Input file"
Any file read in by FunnelWeb. The phrase "the input file" refers to the root input file (specified using the option).
The input file is designated by using the INPUT command as the file containing the information you want to sort or merge.
(computer science) a computer file that contains data that serve as input to a device or program