From be7451b070de5ad765483451929bd9f436de8f9b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 31 Jan 2022 11:08:01 -0500
Subject: [PATCH] add ediv to arith

---
 src/arith/sidekick_arith.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/arith/sidekick_arith.ml b/src/arith/sidekick_arith.ml
index 0a77b4cf..fa670cff 100644
--- a/src/arith/sidekick_arith.ml
+++ b/src/arith/sidekick_arith.ml
@@ -84,6 +84,9 @@ module type INT_FULL = sig
 
   val (/) : t -> t -> t
 
+  val ediv : t -> t -> t
+  (** Euclidian division *)
+
   val rem : t -> t -> t
 
   val probab_prime : t -> bool