diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-02-04 22:30:34 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-02-13 18:30:43 +0100 |
| commit | d3e0821b9c1551177afb34220d951b087acdea22 (patch) | |
| tree | ba23b2916c7cb0336cb42793e4bee931053cacf5 /lib/expression/t.mli | |
| parent | 37556ab070abcbf87a1a822c95aeccf19dade687 (diff) | |
Fixed a bug when a group function did not partition in the same way as the uniq parameter
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 |