Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/bt/
[B]ase[T]ype
relation
`bt`
:
target
i
(
Basetype
i
)
It's an infix version of
basetype
morphism.