Args returns an argument list.

Compare returns -1, 0, 1 based on comparison between a and b.

Contains returns true if a is a superset or equal to b.

Keys returns the type of keys that can be enumerated for a.

NewAny returns a new Any type.

NewArray returns a new Array type.

NewBoolean returns a new Boolean type.

NewDynamicProperty returns a new DynamicProperty object.

NewFunction returns a new Function object where xs[:len(xs)-1] are arguments and xs[len(xs)-1] is the result type.

NewNull returns a new Null type.

NewNumber returns a new Number type.

NewObject returns a new Object type.

NewSet returns a new Set type.

NewStaticProperty returns a new StaticProperty object.

NewString returns a new String type.

Nil returns true if a's type is unknown.

Or returns a type that represents the union of a and b.

Select returns a property or item of a.

Sprint returns the string representation of the type.

TypeOf returns the type of the Golang native value.

Values returns the type of values that can be enumerated for a.

A represents the superset of all types.

B represents an instance of the boolean type.

N represents an instance of the number type.

S represents an instance of the string type.

Array represents the array type.

Boolean represents the boolean type.

DynamicProperty represents a dynamic object property.

Function represents a function type.

Null represents the null type.

Number represents the number type.

Object represents the object type.

Set represents the set type.

StaticProperty represents a static object property.

String represents the string type.

Type represents a type of a term in the language.

Any represents a dynamic type.