let
boolean_of_loc p =
F
.e_not (
M
.is_null p)