use magic to cast types to opaque attributes

1 files changed, 2 insertions, 10 deletions

diff --git a/lib/conventions.ml b/lib/conventions.ml
index 74f6cc3..538bc5c 100644
--- a/lib/conventions.ml
+++ b/lib/conventions.ml
@@ -13,14 +13,6 @@ module Cardinality = struct
 end
 
 module AbstractValue = struct
-  module StringMap = Map.Make(String)
-  type t = {
-    fields: string StringMap.t;
-  }
-  let hash_text value = 
-    let folder (name: string) (value: string) (acc: Hash.t) = 
-      Hash.(hash_text (acc ^ hash_text name ^ hash_text value))
-    in StringMap.fold folder value.fields ""
-  let compare a b = 
-    StringMap.compare String.compare a.fields b.fields
+  type t = Obj.t
+  let hash (elem: t) = Interop.Sha256.compute_hash @@ Marshal.to_bytes elem []
 end
\ No newline at end of file