... | @@ -5,13 +5,13 @@ The following types are supported: |
... | @@ -5,13 +5,13 @@ The following types are supported: |
|
* boolean
|
|
* boolean
|
|
* strings
|
|
* strings
|
|
* logical terms (with type information in the future):
|
|
* logical terms (with type information in the future):
|
|
* int[]
|
|
* int[]
|
|
* object
|
|
* object
|
|
* field
|
|
* field
|
|
* heap
|
|
* heap
|
|
* null
|
|
* null
|
|
* formula
|
|
* formula
|
|
* any (top-type)
|
|
* any (top-type)
|
|
|
|
|
|
|
|
|
|
It supports the following language statements:
|
|
It supports the following language statements:
|
... | | ... | |