list_forall2 replaceable by standard function #493
Description
Maybe list_forall2 could be replaced by List.Forall2 from the standard library.
{{ message }}
Maybe list_forall2 could be replaced by List.Forall2 from the standard library.