definition module StdDynamicTypes

import StdMaybe
import DefaultElem
//1.3
import StdString
//3.1

:: DummyModuleID	= DummyModuleID

// Type 
:: LibraryInstanceTypeReference 
	= LIT_TypeReference !LibRef !TIO_TypeReference		// fst Int is index in cs_library_instances
	
:: LibRef
	= LibRef !Int										// library instance in main dynamic
	| LibRefViaLazyDynamic !Int !Int !Int				// library_instance (w.r.t) dynamic_index type table index type_table_i (follows from previous fields)
	| LazyLibRef !Int !Int !Int							// type redirection table index (w.r.t. dynamic) dynamic_index type table index type_table_i (follows from previous fields)
	
::  TIO_TypeReference
	= {
		tio_type_without_definition  :: !Maybe !String
	,   tio_tr_module_n    			 :: !Int
	,   tio_tr_type_def_n  			 :: !Int
	}

instance DefaultElem TIO_TypeReference

instance DefaultElem LibRef

instance DefaultElem LibraryInstanceTypeReference

COLLECT_AND_RENUMBER_EXTERNAL_TYPE_REFERENCES yes no :== yes; // also change graph_to_string.c; recompile DynamicLinker and dumpDynamic

IS_COLLECT_AND_RENUMBER_EXTERNAL_TYPE_REFERENCES 	 :== COLLECT_AND_RENUMBER_EXTERNAL_TYPE_REFERENCES True False;

FILE_IDENTIFICATION md5 normal :== md5;

IS_NORMAL_FILE_IDENTIFICATION :== FILE_IDENTIFICATION False True;

NAME_PREFIXES yes no :== no;