definition module StdDynamicFileIO

from StdFile import class FileSystem

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

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