Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/T/
:
(
T
t
i
) ~ (
t
i
)
Available infix type operators:
:
(
t
`T`
i
)
| precedence - 9
This operator is useful for
type saturation
.