Types
Type for types. F f(t:Type) ...; f(Arr) ...
Constructors
Type(name:Str, doc:Any)
Create a new type. Do not use directly. Use "type MyType".
Methods
==(a:Type, b:Type)
Types equality comparison. Implemented as sameness comparison.
inherit(t:Type, parent:Type)
Make t inherit from parent. Do not use directly. Use "type MyType(parent)".
is(obj:Any, t:Type)
Check whether obj is of type t. Uses same function that is used for matching arguments with method parameters when calling a method.
Pred(t:Type)
Convert a type to a predicate.
Str(t:Type)
String representation of a type
~(something:Any, t:Type)
Match a type. Same as "something is t".