pub fn has_aexpr<F>( current_node: Node, arena: &Arena<AExpr>, matches: F, ) -> boolwhere F: Fn(&AExpr) -> bool,