let
lt_pointer_bool = e_app2 mk_lt_pointer_bool