M2SCI Function
Last update : 5/10/2004

Type - Create a tree containing type inference data

### Calling Sequence

  `tp=Type(vtype,property)`

### Parameters

- `vtype`: data type (see m2scideclare)
- `property`: property of data (see m2scideclare)
- `tp`: a "type" tlist

### Description

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)

### See Also

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

### Authors

  V.C.