definition module encode_dynamic;

import ProcessSerialNumber;
import DLState;

// encoding of a dynamic by exchanged messages:
//
// 1. GetGraphToStringFunction
//
// get address of the graph to string function
GetGraphToStringFunction :: !ProcessSerialNumber [String] !*DLServerState !*f -> !(!Bool,!ProcessSerialNumber,!*DLServerState, !*f) | FileSystem, FileEnv f;

// send to get extra dynamic rts information
GetDynamicRTSInfo :: !ProcessSerialNumber [String] !*DLServerState !*f -> !(!Bool,!ProcessSerialNumber,!*DLServerState, !*f) | FileSystem, FileEnv f;

dereference_rt_lib_ref :: !LibRef [LibRef] !*DLClientState !*f -> ([LibRef],!*DLClientState,!*f) | FileEnv f;