blob: f3fc0b1eaff009f7605ab89fbd740ffbd60eee34 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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 }
|
