diff options
| author | ppedrot | 2013-11-04 12:17:48 +0000 |
|---|---|---|
| committer | ppedrot | 2013-11-04 12:17:48 +0000 |
| commit | 3e5ad0fc6b89ffc53a2262f1bf75842058f2d78b (patch) | |
| tree | 610f7604353782f80f429c205da353fd213d87eb /lib/errors.mli | |
| parent | a0aa4f438836d182ed949a3a25d495cc8ecc11c2 (diff) | |
Manual coding of Int.Map.find. We use unsafe features, but this function
is quite critical indeed, as it is one of the most used throughout Coq
executions.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17050 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/errors.mli')
0 files changed, 0 insertions, 0 deletions