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