(Cic.term * (* type *)
Cic.term * (* left side *)
Cic.term * (* right side *)
Utils.comparison) * (* ordering *)
Cic.metasenv * (* environment for metas *)
Cic.term list (* arguments *)
(Cic.term * (* type *)
Cic.term * (* left side *)
Cic.term * (* right side *)
Utils.comparison) * (* ordering *)
Cic.metasenv * (* environment for metas *)
Cic.term list (* arguments *)