Libzipperposition.ClauseQueue_intf
type profile
=
|
P_default
P_bfs
P_almost_bfs
P_explore
P_ground
P_goal
module type S = sig ... end