list_forall2 replaceable by standard function

Open monniaux opened this issue 2 years ago • 0 comments

Maybe list_forall2 could be replaced by List.Forall2 from the standard library.

Jun 12 '23 12:06 monniaux