let
no_infinite_array =
function
|
C_array
{arr_flat =
None
}
->
false
|
_
->
true