1 files changed, 7 insertions, 5 deletions
diff --git a/lib/conventions.ml b/lib/conventions.ml
index 93dd579..cdc63a9 100644
--- a/lib/conventions.ml
+++ b/lib/conventions.ml
@@ -13,13 +13,15 @@ module Name = struct
 end
 
 module Cardinality = struct
+  open Sexplib.Std
+
   type t = Finite of int | ConstrainedFinite | AlephZero | Continuum
+  [@@deriving sexp]
+end
 
-  let sexp_of_t = function
-    | Finite n -> Sexplib.Sexp.(List [ Atom "Finite"; Atom (string_of_int n) ])
-    | ConstrainedFinite -> Sexplib.Sexp.Atom "ConstrainedFinite"
-    | AlephZero -> Sexplib.Sexp.Atom "AlephZero"
-    | Continuum -> Sexplib.Sexp.Atom "Continuum"
+module Purity = struct
+  type t = Pure | IO
+  [@@deriving sexp]
 end
 
 module AbstractValue = struct