Previous  Up  Next

Module Search.OrderedType

module OrderedType: sig .. end
type t = Search.heapterm 
val compare : Search.heapterm -> Search.heapterm -> int