diff options
Diffstat (limited to 'src/Expressions.ml')
| -rw-r--r-- | src/Expressions.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index 6a7e92a0..76733941 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -19,7 +19,7 @@ type place = { var_id : VarId.id; projection : projection } [@@deriving show] type borrow_kind = Shared | Mut | TwoPhaseMut [@@deriving show] -type unop = Not | Neg [@@deriving show] +type unop = Not | Neg [@@deriving show, ord] (** A binary operation @@ -45,7 +45,7 @@ type binop = | Mul | Shl | Shr -[@@deriving show] +[@@deriving show, ord] (** Constant value for an operand |