Type - Create a tree containing type inference data
This function create a tlist representing type inference data when using M2SCI. All input parameters values are verified to be compatible with "M2SCI tlists". (Unknown=-1 in M2SCI)
Funcall, Operation, Variable, Cste, Infer, Contents, Equal, m2scideclare,