diff options
Diffstat (limited to 'lib/expression/t.mli')
| -rw-r--r-- | lib/expression/t.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/expression/t.mli b/lib/expression/t.mli index 49ef3e7..4e1af55 100644 --- a/lib/expression/t.mli +++ b/lib/expression/t.mli @@ -19,6 +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] and binary_operator = | Equal |