diff --git a/src/plugins/value/domains/equality/equality.mli b/src/plugins/value/domains/equality/equality.mli
index 87ef746f453b17bf99e21e3dfe59610aa01c1a0c..3e92e268f8a59aa7c7364038d0d3ed9e74f985f5 100644
--- a/src/plugins/value/domains/equality/equality.mli
+++ b/src/plugins/value/domains/equality/equality.mli
@@ -88,6 +88,8 @@ module Equality : sig
   val choose: t -> elt
   (** Return the representative of the equality. *)
 
+  val elements: t -> elt list
+  (** Returns the list of all elements of the given set. *)
 end
 
 type equality = Equality.t