listVarDecl :: Map.Map Id (Set.Set Token) -> [VAR_DECL]
listVarDecl = Map.foldWithKey f []
      where f sort var_set = (Var_decl (Set.toList var_set) sort nullRange :)

-- | generates a new variable qualified with the given number
listVarDecl :: Map.Map Id (Set.Set Token) -> [VAR_DECL]
listVarDecl = Map.foldWithKey f []
      where f sort var_set = (Var_decl (Set.toList var_set) sort nullRange :)

-- | generates a new variable qualified with the given number
listVarDecl = Map.foldWithKey f []
      where f sort var_set = (Var_decl (Set.toList var_set) sort nullRange :)

-- | generates a new variable qualified with the given number