+ (** @param where defaults to `Conclusion *)
+val at_most:
+ dbd:Mysql.dbd ->
+ ?where:where -> StringSet.t ->
+ (string -> bool)
+
+val add_all_constr:
+ ?tbl:string ->
+ int * string list * string list ->
+ cardinality_condition option ->
+ cardinality_condition option ->
+ cardinality_condition option ->
+ int * string list * string list
+
+val exec:
+ dbd:Mysql.dbd ->
+ ?rating:[ `Hits ] ->
+ int * string list * string list ->
+ string list
+