diff options
Diffstat (limited to 'system')
| -rw-r--r-- | system/doc/reference_manual/modules.xml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/system/doc/reference_manual/modules.xml b/system/doc/reference_manual/modules.xml index 8b14ca3459..f4885be480 100644 --- a/system/doc/reference_manual/modules.xml +++ b/system/doc/reference_manual/modules.xml @@ -167,6 +167,21 @@ fact(0) -> % | the original user-written file from which the source program was produced.</p> </section> + + <section> + <title>Types and function specifications</title> + <p>The current release implements types and function specifications + as described in + <url href="http://www.erlang.org/eeps/eep-0008.html">EEP8 - +Types and function specifications</url>. + + <note> + <p>The implementation and EEP8 may not exactly correspond to + each other. In a future release, type and function specifications + will be described in this reference manual.</p> + </note> + </p> + </section> </section> <section> |