* http://cs.unibo.it/helm/.
*)
+(* $Id$ *)
+
(* This module implements the Query interface to the Coercion Graph *)
type coercion_search_result =
- | SomeCoercion of Cic.term
+ | SomeCoercion of Cic.term list
| NoCoercion
| NotMetaClosed
| NotHandled of string Lazy.t
val source_of: Cic.term -> Cic.term
val target_of: Cic.term -> Cic.term
+val generate_dot_file: unit -> string
+