Module ClauseQueue_intf

module ClauseQueue_intf: sig .. end

A priority queue of clauses, purely functional



type profile = 
| P_default
| P_bfs
| P_almost_bfs
| P_explore
| P_ground
| P_goal
module type S = sig .. end
A priority queue of clauses, purely functional