Type

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...