definition module type_io_write

import type_io_read

// compiler
//1.3
from utilities import foldSt, mapSt, second_of_2_tuple
from general import Optional, Yes, No

from ExtString import CharIndex, CharIndexBackwards
from pdExtFile import path_separator
//3.1

/*2.0
from utilities import foldSt, mapSt, second_of_2_tuple
from general import ::Optional(..) //aYes, No

from ExtString import CharIndex, CharIndexBackwards
from pdExtFile import path_separator
0.2*/
//F a b :== b
import DebugUtilities

//write_type_information :: !String !*{#TIO_CommonDefs} !*TypeIOState !*Files -> (!Bool,!*Files)
create_type_archive :: [String] [String] !String !*Files -> (!Bool,!*Files);