subprojects/language/src/main/resources/tools/refinery/language/builtin.problem


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

% SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
%
% SPDX-License-Identifier: EPL-2.0
problem builtin.

abstract class node.

pred exists(node).

pred equals(left, right).

abstract class contained extends node.

pred contains(container, contained contained).

error invalidContainer(contained contained).