Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Label/

: ( t `L` tt `T` l `T` i ) ~ ( Label t tt l i ) : Supertype ( Label t tt l i ) ~ ( t i ) > Label : t i `AR_____` t `L` tt `T` l `T` i