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.