blob: 09c7d92bf6e2c1179b252b83274b79b259e3dbf7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
% SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/>
%
% SPDX-License-Identifier: EPL-2.0
abstract class node.
pred exists(node).
pred equals(left, right).
abstract class contained extends node.
pred contains(container, contained contained).
error invalidContainer(contained contained).
extern datatype boolean.
extern datatype int.
extern datatype real.
extern datatype string.
extern aggregator min.
extern aggregator max.
extern aggregator sum.
|
