Thông tin về kích thước, hình dạng và loại, được thông qua bởi hệ thống với các thủ tục được gọi là một cuộc tranh cãi. Thông tin này là hữu ích khi các thủ tục được gọi là chính xác không thể dự đoán các hình thức của các đối số, ví dụ, các loại khác nhau của chuỗi.