definition module md5 // MV ... import StdFile; import StdMaybe; getMd5DigestFromFile :: String *f -> (String,*f) | FileSystem f getMd5DigestFromFile_ :: String *f -> (Maybe String,*f) | FileSystem f // ... MV //creates the message digest for the file named in the parameter getMd5DigestFromString :: String -> String //creates the message digest of the parameter string