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.