lib/attribute.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14

type referenced = { value_hash : Conventions.Hash.t }

type materialized = { value: Conventions.AbstractValue.t }

type t = 
  | Referenced of referenced
  | Materialized of materialized

let make_referenced ~value =
  let value_hash = Conventions.AbstractValue.hash value in
  Referenced { value_hash }

let make_materialized ~value =
  Materialized { value }