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