pub fn comprehension( op: ComprehensionOp, target: impl Into<Expr>, iter_var: &str, predicate: impl Into<Expr>, ) -> Expr
Creates an Expr::Comprehension node (e.g., list.all(i, i > 0)).
Expr::Comprehension
list.all(i, i > 0)