let
le_loc_bool l1 l2 =
F
.e_app2
"le_ptr_bool"
(ptr l1) (ptr l2)