let
le_loc_bool =
M
.le_loc_bool