Previous  Up  

Module Search.Heap

module Heap: BatHeap.Make(OrderedType)