definition module LibraryDynamics;

import State,PlatformLinkOptions;

build_type_and_code_library :: [String] [String] [String] !String !*State !*PlatformLinkOptions !*Files -> (!*State,!*PlatformLinkOptions,!*Files);