let
is_int x =
try
dom_of x =
Dom
.
Int
with
Not_found
->
false