From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:30:53 -0300 Subject: preparation cleanup for RNT integration --- lib/attribute.ml | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 lib/attribute.ml (limited to 'lib/attribute.ml') diff --git a/lib/attribute.ml b/lib/attribute.ml deleted file mode 100644 index dc0e178..0000000 --- a/lib/attribute.ml +++ /dev/null @@ -1,10 +0,0 @@ -type referenced = {value_hash: Conventions.Hash.t} [@@deriving sexp_of] -type materialized = {value: Conventions.AbstractValue.t} [@@deriving sexp_of] -type t = Referenced of referenced | Materialized of materialized [@@deriving sexp_of] - -let make_referenced ~value = - let value_hash = Conventions.AbstractValue.hash value in - Referenced {value_hash} - -let make_materialized ~value = Materialized {value} -let materialized_equal a b = Conventions.AbstractValue.equal a.value b.value -- cgit v1.2.3