Up
–
alt-ergo-lib
»
AltErgoLib
»
Heap
»
MakeOrdered
» V
Parameter
MakeOrdered.V
type
t
val
compare :
t
->
t
->
int
val
default :
t
Dummy value used in the heap.