definition module StdDynamicFileIO

from StdFile import class FileSystem

/* matyas */
dynamicDatabaseDirectory :: String
libtypDatabaseDirectory :: String
/* \matyas */

readDynamic :: String *f -> (Bool,Dynamic,*f) | FileSystem f

writeDynamic :: String Dynamic *f -> (Bool,*f) | FileSystem f