Redirecting to
macro.assert_fn_ok_eq_expr_as_result.html
...