Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Reach/
>
Reach
:
forall
ttt
tttt
i
.
t
`AR___`
tttt
`L`
ttt
`T`
_
`T`
i
You can use this label everytime you want to
point
to a substructure of some datastructure:
>
Scope
`har`
point
@
t
`ha`
Reach
:
t
`P'T'I'TT'I`
tt
`C'AT__`
t
>
Scope
`har`
point
@
tt
`ha`
Reach
:
t
`P'T'I'TT'I`
tt
`C'AT__`
tt