definition module write_dynamic;

import read_dynamic, compute_graph;

WriteDescriptorAddressTable :: !Int !Int !BinaryDynamic !DescriptorAddressTable !*File -> (!*File,!DescriptorAddressTable);
	
WriteHeader :: !BinaryDynamic !*File -> *File;
	
WriteStringTable :: !BinaryDynamic !*File -> *File;

WriteGraph :: !*DescriptorAddressTable !BinaryDynamic *(Nodes NodeKind) !*File !*DDState -> *(*Nodes NodeKind,!*File,!*DescriptorAddressTable,!*DDState);

WriteBlockTable :: !BinaryDynamic !*File -> *File;

WriteDynamicInfo :: !.DynamicInfo !*File !*Files -> (!*File,!*Files);