implementation 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
default_library_state
	= {
	// library
		ls_main_code_type_lib	= ""

	// type information
	,	ls_type_io_state		= default_type_io_state
	,	ls_tio_common_defs		= {}
	
	// run-time library tree
	,	ls_children				= {}

	// run-time memory areas
	,	ls_code_begin			= 0
	,	ls_code_end				= 0
	,	ls_data_begin			= 0
	,	ls_data_end				= 0

	};
*/