diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-06-23 23:53:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-23 23:53:26 -0300 |
| commit | c284fcd570342c31bc21169960579a20a763e32e (patch) | |
| tree | ce7485055116d794c55090ad0978e0b3f5ff4c2a /lib/attribute.ml | |
| parent | b81586ee4a0543a5f9866586c78dccdd6328934a (diff) | |
| download | Sakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip | |
Format
Diffstat (limited to 'lib/attribute.ml')
| -rw-r--r-- | lib/attribute.ml | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/lib/attribute.ml b/lib/attribute.ml index 8448bee..dc0e178 100644 --- a/lib/attribute.ml +++ b/lib/attribute.ml @@ -1,13 +1,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] +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 } + Referenced {value_hash} +let make_materialized ~value = Materialized {value} let materialized_equal a b = Conventions.AbstractValue.equal a.value b.value |