diff options
| author | Matej Kosik | 2015-11-02 16:39:28 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:11 +0100 |
| commit | 10f9c82c38c6eb01e64ab9a8fa233300568c18d4 (patch) | |
| tree | 2c9f1f404e15eecb660e21c9ce22608e416e140a /lib/cArray.ml | |
| parent | 6ce8d9b4b99afca623408e7052d5e6aaf72bb4ab (diff) | |
ENH: adding a definition of the concept "_ is an arity".
There already exists a definition of the following concept:
"_ is an arity of sort _"
I was not 100% sure what the following concept (used later in the text) means:
"_ is an arity"
so I added this (simple) definition in order to avoid possible confusion.
Diffstat (limited to 'lib/cArray.ml')
0 files changed, 0 insertions, 0 deletions