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)
	
::  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