From 0ed975c58c5f3b4df4afb37051e263a9358eeade Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Fri, 12 Jun 2020 16:27:39 -0400
Subject: [PATCH] forgot to commit spin prelude

---
 racket/typed/spin-prelude.pml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 racket/typed/spin-prelude.pml

diff --git a/racket/typed/spin-prelude.pml b/racket/typed/spin-prelude.pml
new file mode 100644
index 0000000..73c6593
--- /dev/null
+++ b/racket/typed/spin-prelude.pml
@@ -0,0 +1,9 @@
+/* Useful macros */
+
+#define ASSERTED(x) (x##_assertions > 0)
+#define RETRACTED(x) (x##_assertions == 0)
+#define ASSERT(x) x##_assertions = x##_assertions + 1
+#define RETRACT(x) x##_assertions = x##_assertions - 1
+
+/* Rest of Program */
+