Module QGraph.ElimTable

val eliminates_to : Sorts.Quality.t -> Sorts.Quality.t -> bool