1 files changed, 21 insertions, 0 deletions

diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem
new file mode 100644
index 00000000..5e913b51
--- /dev/null
+++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem
@@ -0,0 +1,21 @@
+problem builtin.
+
+abstract class node {
+        refers node[] equals opposite equals.
+}
+
+pred exists(node node).
+
+abstract class domain extends node.
+
+abstract class data extends node.
+
+enum bool {
+        true, false
+}
+
+class real extends data.
+
+class int extends data.
+
+class string extends data.