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