Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/ts/
(reversed)
[S]uper[T]ype
relation
`ts`
:
target
(
Supertype
i
)
i
It's an infix version of
subtype
morphism.