aboutsummaryrefslogtreecommitdiffstats
path: root/lib/conventions.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/conventions.ml12
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