Closed s-khechnev closed 1 year ago
Now it also reports about List.length xs < 0 and 0 > List.length xs.
List.length xs < 0
0 > List.length xs
Now it also reports about
List.length xs < 0
and0 > List.length xs
.