diff options
Diffstat (limited to 'src/Pure.ml')
-rw-r--r-- | src/Pure.ml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index 068a2127..ea9687df 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -78,15 +78,6 @@ type scalar_value = V.scalar_value type constant_value = V.constant_value -type value = Concrete of constant_value | Adt of adt_value - -and adt_value = { - variant_id : (VariantId.id option[@opaque]); - field_values : typed_value list; -} - -and typed_value = { value : value; ty : ty } - type var = { id : VarId.id; ty : ty } (** Because we introduce a lot of temporary variables, the list of variables is not fixed: we thus must carry all its information with the variable |