definition module type_io_static

import type_io_read

collect_type_info :: [String] !Int !*Files -> (!Bool,!*{#TIO_CommonDefs},!*TypeIOState,!*Files)
collect_type_infoNEW :: [String] !*Files -> (!Bool,!*{#TIO_CommonDefs},!*TypeIOState,!*Files)