diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Expressions.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 20431f18..38ee1ff6 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -66,16 +66,19 @@ type operand_constant_value = | ConstantValue of constant_value | ConstantAdt of TypeDefId.id | Unit +[@@deriving show] type operand = | Copy of place | Move of place | Constant of ety * operand_constant_value +[@@deriving show] type aggregate_kind = | AggregatedTuple | AggregatedAdt of TypeDefId.id * VariantId.id option * erased_region list * ety list +[@@deriving show] type rvalue = | Use of operand @@ -84,3 +87,4 @@ type rvalue = | BinaryOp of binop * operand * operand | Discriminant of place | Aggregate of aggregate_kind * operand list +[@@deriving show] |