Add Comparable.S inclusion to type definition

joaosreis · Jan 13, 2025 · fb32059 · fb32059
1 parent 14d8856
commit fb32059
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lib/edo/typ.mli b/src/lib/edo/typ.mli
@@ -37,6 +37,7 @@ type t' =
 and t = t' * Common_adt.Annot.t list
 
 include Sexpable.S with type t := t
+include Comparable.S with type t := t
 
 val is_comparable_type : t -> bool
 val is_packable : t -> bool