Fonction M2SCI

Type - Créé un arbre contenant les données d'inférence de type

Calling Sequence

tp=Type(vtype,property)

Parameters

Description

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)

See Also

Funcall ,   Operation ,   Variable ,   Cste ,   Infer ,   Equal ,   m2scideclare ,  

Authors

V.C.