if-recv and when-recv docstrings