Module Libzipperposition.StreamQueue

Priority Queue of ho-streams

module type S = StreamQueue_intf.S
module type ARG = sig ... end
val k_guard : int Logtk.Flex_state.key
val k_ratio : int Logtk.Flex_state.key
val k_clause_num : int Logtk.Flex_state.key
module Make : functor (A : ARG) -> S with module Stm = A.Stm