Open clarksmr opened 6 months ago
The type of List.fold_left (and right) these days uses 'acc as a type variable. That is inconsistent with the older use of 'a and 'b.
List.fold_left
'acc
'a
'b
The type of
List.fold_left
(and right) these days uses'acc
as a type variable. That is inconsistent with the older use of'a
and'b
.