let
not_of_loc p =
F
.p_bool (
M
.is_null p)