let
is_int s a =
try
Dom
.eq (dom s a)
Dom
.
Int
with
Not_found
->
false