13 lines
275 B
Plaintext
13 lines
275 B
Plaintext
|
Integer'Size
|
||
|
|
Character'Val
|
||
|
|
|
||
|
|
----------------------------------------------------
|
||
|
|
|
||
|
|
[
|
||
|
|
["variable", "Integer"], ["attr-name", "'Size"],
|
||
|
|
["variable", "Character"], ["attr-name", "'Val"]
|
||
|
|
]
|
||
|
|
|
||
|
|
----------------------------------------------------
|
||
|
|
|
||
|
|
Checks for attributes.
|