let
i_int =
fun
(_ : int)
->
()