/Я language (β)/Primitives/T'TT/

: ( T'TT t tt i ) ~ ( t ( tt i ) )

Available infix type operators:

: t `T'TT` tt | precedence = 8
: t `T'TT_` tt | precedence = 7
: t `T'TT__` tt | precedence = 6