let rec isdef_fun name env = 
  match env with
      (TyFunDef (s,_))::rest -> ((s = name) || isdef_fun name rest)
    | _::rest -> isdef_fun name rest
    | [] -> false