let rec nfields_struct sname env =
  match env with
      (TyStructDef (s,lst,_))::rest when (s = sname) -> List.length lst
    | _::rest -> nfields_struct sname rest
    | [] -> raise Not_found