diff options
Diffstat (limited to 'lib/attribute.ml')
| -rw-r--r-- | lib/attribute.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/attribute.ml b/lib/attribute.ml index 27214b0..f3fc0b1 100644 --- a/lib/attribute.ml +++ b/lib/attribute.ml @@ -1,10 +1,11 @@ -type referenced = { value_hash : Conventions.Hash.t } +type referenced = { value_hash : Conventions.Hash.t } [@@deriving sexp_of] -type materialized = { value: Conventions.AbstractValue.t } +type materialized = { value: Conventions.AbstractValue.t } [@@deriving sexp_of] -type t = +type t = | Referenced of referenced | Materialized of materialized +[@@deriving sexp_of] let make_referenced ~value = let value_hash = Conventions.AbstractValue.hash value in |