Module `Make_pure_sat.H`

type elt = Elt.t
type t

val create : unit -> t
val decrease : t -> elt -> unit
val in_heap : elt -> bool
val size : t -> int
val is_empty : t -> bool
val clear : t -> unit
val insert : t -> elt -> unit
val remove_min : t -> elt
val filter : t -> (elt -> bool) -> unit