Type - Créé un arbre contenant les données d'inférence de type
Cette fonction créé une tlist représentant les données d'inférence quand on utilise M2SCI. Tous les paramètres d'entrée sont vérifiés pour être compatible avec les "tlists M2SCI". (Unknown=-1 dans M2SCI)
Funcall , Operation , Variable , Cste , Infer , Equal , m2scideclare ,