definition module link_library_instance;

import StdMaybe;

import dus_label;
import DLState;

// link-layer
LoadLibraryInstance_new :: !.Int !(Maybe [.DusLabel]) !*DLClientState !*f  -> *(!Int,[Int],*DLClientState,!*f) | FileEnv f;

LoadTypeTable :: .Int *DLClientState *a -> *(*DLClientState,*a) | FileEnv a;

redirect_type_implementation_equivalent_class :: !.LibraryInstanceTypeReference ![.LibraryInstanceTypeReference] !*DLClientState -> *DLClientState;

initialize_predefined_type_equations :: !.Int !*DLClientState *f -> *(*DLClientState,*f) | FileEnv f;

initialize_library_instance :: !Int !*DLClientState *f -> (!Bool,!*DLClientState,!*f) | FileEnv f;