sig
  type set
  val ask :
    BottomUp.S.db ->
    ?neg:BottomUp.S.literal list ->
    int array -> BottomUp.S.literal list -> BottomUp.S.Query.set
  val iter : BottomUp.S.Query.set -> (BottomUp.S.term array -> unit) -> unit
  val to_list : BottomUp.S.Query.set -> BottomUp.S.term array list
  val cardinal : BottomUp.S.Query.set -> int
  val pp_plan : Format.formatter -> BottomUp.S.Query.set -> unit
end