(UriManager.uri * int * (UriManager.uri * Cic.term) list) list) ->
Cic.term -> unit
-(*
+val injection : Cic.term -> unit
+val discriminate : Cic.term -> unit
val decide_equality : unit -> unit
-val compare : Cic.term -> Cic.term -> unit
-*)
+val compare : Cic.term -> unit
+
(*
val prova_tatticali : unit -> unit