let
is_null l =
M
.is_null (mloc_of_loc l)