sig
type t = Literal.t array -> CCBV.t
val no_select : Selection.t
val select_max_goal :
strict:bool -> ord:Libzipperposition.Ordering.t -> Selection.t
val select_diff_neg_lit :
strict:bool -> ord:Libzipperposition.Ordering.t -> Selection.t
val select_complex :
strict:bool -> ord:Libzipperposition.Ordering.t -> Selection.t
val select_complex_except_RR_horn :
strict:bool -> ord:Libzipperposition.Ordering.t -> Selection.t
val default_selection : ord:Libzipperposition.Ordering.t -> Selection.t
val selection_from_string :
ord:Libzipperposition.Ordering.t -> string -> Selection.t
val available_selections : unit -> string list
val register :
string -> (ord:Libzipperposition.Ordering.t -> Selection.t) -> unit
end