let
is_int i =
List
.assoc i lib_is_int