Class TypeEntry
This is a foreign class that wraps over a type.
public 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.
public define class_id: Integer
Return the id of the class that this type wraps over.
public define class_name: String
Return the name of the class that this type wraps over.
public 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.
public define is_vararg_function: Boolean
Returns true if this type is a Function that allows for variable arguments, false otherwise.