format

1 files changed, 10 insertions, 5 deletions

diff --git a/lib/conventions.ml b/lib/conventions.ml
index 60069b0..b6f82a5 100644
--- a/lib/conventions.ml
+++ b/lib/conventions.ml
@@ -1,5 +1,6 @@
 module Hash = struct
   type t = Interop.Sha256.t
+
   let hash_text text = Interop.Sha256.compute_hash (Bytes.of_string text)
   let compare = String.compare
   let sexp_of_t = Sexplib.Std.sexp_of_string
@@ -7,21 +8,25 @@ end
 
 module Name = struct
   type t = string
+
   let sexp_of_t = Sexplib.Std.sexp_of_string
 end
 
 module Cardinality = struct
   type t = Finite of int | ConstrainedFinite | AlephZero | Continuum
+
   let sexp_of_t = function
-    | Finite n         -> Sexplib.Sexp.(List [Atom "Finite"; Atom (string_of_int n)])
+    | 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"
+    | AlephZero -> Sexplib.Sexp.Atom "AlephZero"
+    | Continuum -> Sexplib.Sexp.Atom "Continuum"
 end
 
 module AbstractValue = struct
   type t = Obj.t
-  let hash (elem: t) = Interop.Sha256.compute_hash @@ Marshal.to_bytes elem []
+
+  let hash (elem : t) = Interop.Sha256.compute_hash @@ Marshal.to_bytes elem []
+
   let sexp_of_t (v : t) =
     let open Sexplib.Sexp in
     if Obj.is_int v then Atom (string_of_int (Obj.obj v : int))
@@ -33,4 +38,4 @@ module AbstractValue = struct
         if Float.is_nan f || Float.is_infinite f then Atom "nan"
         else Atom (string_of_float f)
       else Atom "<opaque>"
-end
\ No newline at end of file
+end