path: root/lib/attribute.ml

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