Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Claim/
>
Claim
:
forall
e
t
.
t
`C'AR__`
t
`L`
Given
e
`T`
_
Interpretation
: this label gives access to a
Given
value.