1
[ noun ] a file with parallel edges

Related terms

taper_file file

*