Refactor type definitions in adt.ml to remove redundant deriving clauses

joaosreis · Jan 19, 2025 · e640c17 · e640c17
1 parent 07e49f3
commit e640c17
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/lib/adt/adt.ml b/src/lib/adt/adt.ml
@@ -3,11 +3,11 @@ module Var = Var
 module Operation = Operation
 module Node = Common_adt.Node
 
-type var = Var.t [@@deriving sexp, ord]
-type adt_typ = Edo_adt.Adt.typ [@@deriving sexp, ord]
-type ttyp = Edo_adt.Typ.t [@@deriving sexp, ord]
-type operation = Operation.t [@@deriving sexp, ord]
-type 'a node = 'a Node.t [@@deriving sexp, ord]
+type var = Var.t [@@deriving sexp]
+type adt_typ = Edo_adt.Adt.typ [@@deriving sexp]
+type ttyp = Edo_adt.Typ.t [@@deriving sexp]
+type operation = Operation.t [@@deriving sexp]
+type 'a node = 'a Node.t [@@deriving sexp]
 
 module Id () = struct
   let create_id_counter () = ref (-1)