definition module LibraryState

/*
import type_io_read

:: *LibraryState
	= {
	// library
		ls_main_code_type_lib	:: !String
	
	// type information
	,	ls_type_io_state		:: !*TypeIOState
	,	ls_tio_common_defs		:: !*{#TIO_CommonDefs}
	
	// run-time library tree
	,	ls_children				:: !{#Int}
	
	// run-time memory areas
	,	ls_code_begin			:: !Int
	,	ls_code_end				:: !Int
	,	ls_data_begin			:: !Int
	,	ls_data_end				:: !Int	
	};
		
default_library_state :: !*LibraryState
*/