let
le_loc_bool = op_loc
M
.le_loc_bool (
F
.e_icmp
Cleq
)