let rec get_cur_defs env = match env with
    EnvTopLevel (_,dlist) -> dlist
  | EnvFrame (_,_,dlist,parent) -> dlist @ (get_cur_defs parent)