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