definition module link_library_instance;

import StdMaybe;

import dus_label;
import DLState;

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

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

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

load_code_library_instance :: (Maybe [.DusLabel]) !.Int !*DLClientState !*f -> (!Int,[Int],!*DLClientState,!*f) | FileEnv f;