let
is_empty m =
M
.is_empty m