diff options
Diffstat (limited to 'src/Expressions.ml')
-rw-r--r-- | src/Expressions.ml | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 7ae6ab01..20431f18 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -6,20 +6,22 @@ open Values type field_proj_kind = | ProjAdt of TypeDefId.id * VariantId.id option | ProjTuple of int +[@@deriving show] (* arity of the tuple *) type projection_elem = | Deref | DerefBox | Field of field_proj_kind * FieldId.id +[@@deriving show] -type projection = projection_elem list +type projection = projection_elem list [@@deriving show] -type place = { var_id : VarId.id; projection : projection } +type place = { var_id : VarId.id; projection : projection } [@@deriving show] -type borrow_kind = Shared | Mut | TwoPhaseMut +type borrow_kind = Shared | Mut | TwoPhaseMut [@@deriving show] -type unop = Not | Neg +type unop = Not | Neg [@@deriving show] (** A binary operation @@ -45,6 +47,7 @@ type binop = | Mul | Shl | Shr +[@@deriving show] (** Constant value for an operand |