diff options
| author | Matthieu Sozeau | 2018-03-24 14:01:32 -0300 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-03-26 13:51:07 -0300 |
| commit | 99eabe2ee6ba2ece346c2739bdf041077c724923 (patch) | |
| tree | fa8d14ae9adb4537a4d1264dcc15b35a16c4b8c7 /doc/sphinx/language | |
| parent | 2e24b82ced473fa5b8f9671407fcc8a8712fe946 (diff) | |
[doc] Port Chapter 20 Type Classes to Sphinx
Diffstat (limited to 'doc/sphinx/language')
| -rw-r--r-- | doc/sphinx/language/gallina-extensions.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/sphinx/language/gallina-extensions.rst b/doc/sphinx/language/gallina-extensions.rst index d618d90ad2..68066faa30 100644 --- a/doc/sphinx/language/gallina-extensions.rst +++ b/doc/sphinx/language/gallina-extensions.rst @@ -2109,6 +2109,8 @@ case, this latter type is considered). Adds blocks of implicit types with different specifications. +.. _implicit-generalization: + Implicit generalization ~~~~~~~~~~~~~~~~~~~~~~~ |