src/Numbering.mli · 20200131 · POTTIER Francois / fix · GitLab

Mentions légales du service

Snippets Groups Projects

5 years ago
df7dc515
New signature [TWO_PHASE_NUMBERING]. · df7dc515
POTTIER Francois authored 5 years ago
```
New functors [ForOrderedType], [ForHashedType], and [ForType] in Numbering.
```
df7dc515

History
New signature [TWO_PHASE_NUMBERING].
POTTIER Francois authored 5 years ago
```
New functors [ForOrderedType], [ForHashedType], and [ForType] in Numbering.
```