aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language/src/main/resources/tools/refinery/language/library/builtin.refinery
blob: 4e74ca03c22563ebd96f4bdfec1f957af51680ff (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
% 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).