module BatHeap:sig..end
Ascribes to:
BatEnum.Enumerable with type 'a enumerable = 'a t
type +'a t
Pervasives.compare.val size : 'a t -> intval empty : 'a tval insert : 'a t -> 'a -> 'a tval add : 'a -> 'a t -> 'a tadd x h is the same as insert h x. This function is intended
to be used with fold_right.val merge : 'a t -> 'a t -> 'a tval find_min : 'a t -> 'aInvalid_argument "find_min" if the heap is emptyval del_min : 'a t -> 'a tInvalid_argument "del_min" if the heap is emptyval of_list : 'a list -> 'a tval to_list : 'a t -> 'a listval elems : 'a t -> 'a listto_list.val of_enum : 'a BatEnum.t -> 'a tval enum : 'a t -> 'a BatEnum.tBatEnum.get.val print : ?first:string ->
?last:string ->
?sep:string -> ('a, 'b) BatIO.printer -> ('a t, 'b) BatIO.printermodule type H =sig..end
BatHeap.Make
module Make: