let
succeed
f
x
=
try
ignore
(
f
x
);
true
with
Unix_error
(
a
,
b
,
c
) ->
false