Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/C'AT/
Component
of some
natural transfromation
in
Scope
category
.
:
C'AT
-
[C]omponent
[AT]tribute
:
C'AT
t
tt
~
forall
i
.
t
i
`AT`
tt
i
Available infix type operators:
:
t
`C'AT`
tt
| precedence = 8
:
t
`C'AT_`
tt
| precedence = 7
:
t
`C'AT__`
tt
| precedence = 6