|
Lean
$LEAN_TAG$
|
Represents a read-only reference to any value, T More...
Properties | |
| T | Value [get] |
| Gets the current value this reference points to More... | |
Represents a read-only reference to any value, T
| T | The data type the reference points to |
|
get |