Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. stdlib: add filter_mapi function (#14227) (details)
Commit 75e0f8459f914df08a89982b7dce29a8ec75056c by noreply
stdlib: add filter_mapi function (#14227)

The file was modifiedChanges (diff)
The file was modifiedstdlib/list.ml (diff)
The file was modifiedstdlib/list.mli (diff)
The file was modifiedstdlib/listLabels.mli (diff)
The file was modifiedtestsuite/tests/lib-list/test.ml (diff)