let rec isdef_include name env = 
  match env with
      (TyIncludeDef s)::rest when (s = name) -> true
    | _::rest -> isdef_include name rest
    | [] -> false