Module Libzipperposition.ClauseQueue_intf

type profile =
| P_default
| P_bfs
| P_almost_bfs
| P_explore
| P_ground
| P_goal
| P_conj_rel
| P_conj_rel_var
| P_ho_weight
| P_ho_weight_init
| P_avoid_expensive
module type S = sig ... end