AssignableTo reports whether a value of type x is assignable to type y.

ConvertibleTo reports whether a value of type x is convertible to type y.

Implements reports whether x implements the interface type y.

NewTypes returns a new instance of Types.

Types allows to create and manage types and values, as the reflect package does, for a specific compilation and for both the types compiled by Scriggo and by gc.