Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/ut/
Factoring through
[U]nit [T]ype
`ut`
:
target
i
Unit
It's an infix version of
terminal
morphism.
You cannot use this operator standalone.