1 2 3 4 5
definition module WF import StdFile wf :: String *env -> ([(String,Int)],*env) | FileSystem env