let
i_bool =
fun
(_ : bool)
->
()