Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. stdlib: Option.{for_all, exists} (#13920) (details)
Commit 7ac77a4b698a4ac978998cef7a25ed5979b5c231 by noreply
stdlib: Option.{for_all, exists} (#13920)

* Option.{for_all, exists}

* Changes
The file was modifiedChanges (diff)
The file was modifiedstdlib/option.mli (diff)
The file was modifiedstdlib/option.ml (diff)