pub fn all_at( conds: impl IntoIterator<Item = impl IntoExpr>, loc: impl Into<Location>, ) -> Result<Expr>
all at loc.
all
loc