Closed nemakin closed 9 months ago
It detects manually implemented versions of List.map/List.fold_left/List.fold_right functions and suggests to choose ones from Stdlib
List.map
List.fold_left
List.fold_right
Stdlib
It detects manually implemented versions of
List.map
/List.fold_left
/List.fold_right
functions and suggests to choose ones fromStdlib