definition module StdDynamicTypeIO

import _SystemDynamic, StdDynamicTypes

:: Type
	= Predefined PredefType
	| NonPredefined TypeDef`
	
:: TypeState

:: TypeRef

// create initial type state
CreateTypeState :: !Dynamic -> TypeState

// convert ConstructorID to a type
TypeConstructorIDToType :: !Int !TypeState -> Type

// convert TypeCodeConstructor to Type
TypeCodeConstructorToType :: !TypeCodeConstructor !TypeState -> Type

// using the descriptor address of a constructor, find its type definition
FindTypeDef :: !Int !TypeState -> Maybe TypeRef

// fetches all typedef`s
GetAllTypedefs :: !.TypeState -> .[TypeDef`]	

// fetches the appropriate typedef`
GetTypeDef :: !TypeRef !TypeState -> TypeDef`