Up
–
coq
»
Heap
» Ordered
Module type
Heap.Ordered
type
t
val
compare :
t
->
t
->
int