Class TypeEntry
This is a foreign class that wraps over a type.
0 define as_string: String
Return a string that describes the type provided. This uses the same type printing that the interpreter's error messages use.
0 define class_id: Integer
Return the id of the class that this type wraps over.
0 define class_name: String
Return the name of the class that this type wraps over.
0 define inner_types: List[TypeEntry]
Returns the type(s) that this type has inside, or [] if there are none. Types are listed from left to right. The only exception is Function, which always has the result first, followed by inner types from left to right.
0 define is_vararg_function: Boolean
Returns true if this type is a Function that allows for variable arguments, false otherwise.