blob: 49b67d5af8ae387fa81b8d62266f3dfb43eca222 (
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.
|