Informations sur d'un argument taille, la forme et le type, qui est passé par le système de la procédure appelée. Cette information est utile lorsque la procédure appelée ne peut prévoir avec précision la forme de l'argumentation, par exemple, différents types de chaînes.