let rec getType (t: element): sType = match t with Off(off, tp, _) -> tp | Reg(reg, tp) -> tp | _ -> raise (TYPE_ERROR "Tipo non definito")