let rec gettype_struct s1 s2 env = 
  match env with
      (TyStructDef (s,lst,_))::rest when (s = s1) -> List.assoc s2 lst
    | _::rest -> gettype_struct s1 s2 rest
    | [] -> raise Not_found