Args returns an argument list.

Arity returns the number of arguments in the function signature or zero if x is not a function.

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.

Named returns the passed type as a named type.

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 of the given argument and result types.

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.

NewVariadicFunction returns a new Function object.

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.

Unmarshal deserializes bs and returns the resulting type.

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

Void returns true if the function has no return value.

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.

Any represents a dynamic type.

Array represents the array type.

Boolean represents the boolean type.

DynamicProperty represents a dynamic object property.

FuncArgs represents the arguments that can be passed to a function.

Function represents a function type.

NamedType represents a type alias with an arbitrary name and description.

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.