blob: 13398ce8491236f9a2decedb4b3505fd7fa65dee (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
problem builtin.
abstract class node {
node[] equals opposite equals
}
pred exists(node node).
enum bool {
true, false
}
class double.
class int extends double.
class string.
|