diff options
Diffstat (limited to 'lib/expression/t.mli')
| -rw-r--r-- | lib/expression/t.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/expression/t.mli b/lib/expression/t.mli index 4e1af55..4c9e0a7 100644 --- a/lib/expression/t.mli +++ b/lib/expression/t.mli @@ -19,7 +19,7 @@ type 'a t = | BOperator of binary_operator * 'a t * 'a t | GEquality of binary_operator * 'a t * 'a t list | Function' of funct * 'a t list -[@@deriving show, eq] +[@@deriving show, eq, ord] and binary_operator = | Equal |