blob: dc0e178a44824ac7a6eaddec5c6c3f85b80cd6f4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
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
|
