(* 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