Abstract data types file containing data structures