Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add List.split_map (#14185) (details)
Commit 3c36ad0446dd1649444d16dfa64320cf92caf923 by noreply
Add List.split_map (#14185)

The file was modifiedstdlib/list.mli (diff)
The file was modifiedstdlib/listLabels.mli (diff)
The file was modifiedChanges (diff)
The file was modifiedstdlib/list.ml (diff)