let
have_pending_msgs dsc =
dsc.msgs <>
None