diff --git a/CoAlgLogicUtils.ml b/CoAlgLogicUtils.ml
index 26b76fc45f23547d807f3c19ff473dad213b957a..32c35cd395f77298bbe845b3c6868146bba0235f 100644
--- a/CoAlgLogicUtils.ml
+++ b/CoAlgLogicUtils.ml
@@ -15,6 +15,7 @@ module TArray = struct
     let elem (x: 'a) (arr: 'a array) =
         any (fun y -> x == y) arr
     let included sub sup = all (fun x -> elem x sup) sub
+    let to_string ts arr = "[| " ^ (Array.fold_right (fun i str -> (ts i) ^" "^ str) arr "|]")
 end
 
 let disjointAgents sort a b =
diff --git a/CoAlgLogicUtils.mli b/CoAlgLogicUtils.mli
index 08a4207050fd8e43ae7857beed27d883b9eca8cd..867064d4529565267ff08a93dd831b111ca0da3c 100644
--- a/CoAlgLogicUtils.mli
+++ b/CoAlgLogicUtils.mli
@@ -11,6 +11,7 @@ module TArray : sig
     val any : ('a -> bool) -> 'a array -> bool
     val elem : 'a -> 'a array -> bool
     val included : 'a array -> 'a array -> bool
+    val to_string : ('a -> string) -> 'a array -> string
 end
 
 val disjointAgents : sort -> localFormula -> localFormula -> bool