definition module EstherFamkeEnv

famkeEnv :: [(String, Dynamic)]