From e640c17e770a76ed717e225551babaa66c52c523 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Santos=20Reis?= Date: Sun, 19 Jan 2025 11:20:10 +0000 Subject: [PATCH] Refactor type definitions in adt.ml to remove redundant deriving clauses --- src/lib/adt/adt.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/lib/adt/adt.ml b/src/lib/adt/adt.ml index 76efa3d..f78d65a 100644 --- 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)