Murat Kasimov
More about me
Я language (β)
/Я language (β)/Operators/vt/
Factoring through
[V]oid [T]ype
`vt`
:
target
Void
i
It's an infix version of
initial
morphism.
You cannot use this operator standalone.