Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Make List.{take,drop} total (#14124) (details)
Commit 6b59d66182bc54d24bef3ec6b901cb512fdea6b6 by noreply
Make List.{take,drop} total (#14124)

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