Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/tb/

(reversed) [B]ase[T]ype relation `tb` : target ( Basetype i ) i

It's an infix version of boundtype morphism.

You cannot use this operator standalone, only in operator composites:

`hu'tb` : t i a `AR____` target o ( t i ( Basetype o ) ) `ho'tb` : t i a `AR____` target ( source ( Basetype a ) o ) ( t i o ) `ha'tb` : t i a `AR____` target ( source ( Basetype o ) a ) ( t i o )