type elt = Elt.ttype t
val create : unit -> tval decrease : t -> elt -> unitval in_heap : elt -> boolval size : t -> intval is_empty : t -> boolval clear : t -> unitval insert : t -> elt -> unitval remove_min : t -> eltval filter : t -> (elt -> bool) -> unit