diff options
Diffstat (limited to '')
-rw-r--r-- | src/Expressions.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 61a2f95c..6bf14c66 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -18,7 +18,13 @@ type projection_elem = type projection = projection_elem list [@@deriving show] type place = { var_id : VarId.id; projection : projection } [@@deriving show] type borrow_kind = Shared | Mut | TwoPhaseMut [@@deriving show] -type unop = Not | Neg [@@deriving show, ord] + +type unop = + | Not + | Neg + | Cast of integer_type * integer_type + (** Cast an integer from a source type to a target type *) +[@@deriving show, ord] (** A binary operation |