Type

Create a tree containing type inference data

Calling Sequence

tp=Type(vtype,property)

Arguments

: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 Create a tree representing a function call
• Operation Create a tree representing an operation
• Variable Create a tree representing a variable
• Cste Create a tree representing a constant
• Infer Create a tree containing inference data
• Contents Create a tree containing contents inference data
• Equal Create a tree representing an instruction
• m2scideclare Giving tips to help M2SCI...