Add TArray.to_string helper

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 =

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