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