Module type Reins.Heaps.Heap_

module type Heap_ = sig .. end

type 'a elt_ 

type 'a heap 

val empty : 'a heap

val is_empty : 'a heap -> bool

val singleton : 'a elt_ -> 'a heap

val insert : 'a elt_ ->
       'a heap -> 'a heap

val merge : 'a heap ->
       'a heap -> 'a heap

val find_min : 'a heap -> 'a elt_

val delete_min : 'a heap -> 'a heap