definition module WF

import StdFile

wf :: String *env -> ([(String,Int)],*env) | FileSystem env