1 files changed, 21 insertions, 0 deletions

diff --git a/language/src/main/resources/tools/refinery/builtin.problem b/language/src/main/resources/tools/refinery/builtin.problem
new file mode 100644
index 00000000..7c4f6685
--- /dev/null
+++ b/language/src/main/resources/tools/refinery/builtin.problem
@@ -0,0 +1,21 @@
+problem builtin.
+
+abstract class node {
+        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.