Function having 

pub fn having<Q: HasHaving>(condition: impl IntoExpr) -> impl Mod<Q>

HAVING condition. Several calls are AND-joined.

SQLite allows a HAVING with no GROUP BY, which then applies to the single implicit group.