definition module StdDynamicSharedBuffer

//1.3
from StdString import String
from  StdDynamicLowLevelInterface import BinaryDynamicIO;
//3.1

import memory;

/*2.0
from  StdDynamicLowLevelInterface import class BinaryDynamicIO;
0.2*/
instance BinaryDynamicIO (!Int,!*StdDynamicSharedBufferInfo)

:: *StdDynamicSharedBufferInfo

// used by StdDynamic.icl
CreateSharedBufferFromFile :: !Int !String -> (Bool,(!Int,!*StdDynamicSharedBufferInfo),!String)
CreateSharedBufferFromFile2 :: !Int !String -> (Bool,(!Int,!*StdDynamicSharedBufferInfo),(!Int,!Int))
CloseSharedBufferFromFile :: (!Int,!*StdDynamicSharedBufferInfo) -> !Bool

CreateSharedBufferFromPageFile :: !Int !String -> (Bool,(!Int,!*StdDynamicSharedBufferInfo),!String)
CloseSharedBufferFromPageFile :: (!Int,!*StdDynamicSharedBufferInfo) -> !Bool

call_debugger :: !Int -> !Int


// used by dynamic rts
OpenExistingSharedBuffer :: !Int !Int -> (Bool,(!Int,!*StdDynamicSharedBufferInfo))
OpenExistingSharedBuffer2 :: (!Int,!Int) -> (Bool,(!Int,!*StdDynamicSharedBufferInfo))

CloseExistingSharedBuffer :: !(!Int,!*StdDynamicSharedBufferInfo) -> !Bool
