diff options
Diffstat (limited to 'stdlib/stdLabels.mli')
| -rw-r--r-- | stdlib/stdLabels.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/stdLabels.mli b/stdlib/stdLabels.mli index 144936f17..c607a9987 100644 --- a/stdlib/stdLabels.mli +++ b/stdlib/stdLabels.mli @@ -14,12 +14,14 @@ (** Standard labeled libraries. This meta-module provides labelized version of the {!Array}, - {!List} and {!String} modules. + {!Bytes}, {!List} and {!String} modules. They only differ by their labels. Detailed interfaces can be found - in [arrayLabels.mli], [listLabels.mli] and [stringLabels.mli]. + in [arrayLabels.mli], [bytesLabels.mli], [listLabels.mli] + and [stringLabels.mli]. *) module Array = ArrayLabels +module Bytes = BytesLabels module List = ListLabels module String = StringLabels |