Type Offsets
tip
Type with string key "offset".
T['offset']
tip
Type with dependent key.
T[U]
tip
Shape type with numeric key.
array{int, string}[0]
tip
Complex example using shape types and generics.
T<U>[object{key: int, ...}]
note
Note that since this is a type description language, any key type is allowed, including objects, conditions or shapes.