From 60c3b51797eba5bb5aedeb8b37dff441eb7ba695 Mon Sep 17 00:00:00 2001 From: yashi Date: Fri, 23 Apr 2021 02:45:55 +0530 Subject: [PATCH 1/2] changed ocaml manual layout --- site/releases/4.12/htmlman/advexamples.html | 28 +++++++--- site/releases/4.12/htmlman/afl-fuzz.html | 25 ++++++--- site/releases/4.12/htmlman/alerts.html | 26 ++++++--- site/releases/4.12/htmlman/attributes.html | 26 ++++++--- site/releases/4.12/htmlman/bigarray.html | 26 ++++++--- site/releases/4.12/htmlman/bindingops.html | 25 ++++++--- site/releases/4.12/htmlman/classes.html | 26 ++++++--- site/releases/4.12/htmlman/comp.html | 28 +++++++--- site/releases/4.12/htmlman/compunit.html | 25 ++++++--- site/releases/4.12/htmlman/const.html | 26 ++++++--- site/releases/4.12/htmlman/core.html | 26 ++++++--- site/releases/4.12/htmlman/coreexamples.html | 56 ++++++++++++------- site/releases/4.12/htmlman/debugger.html | 27 ++++++--- site/releases/4.12/htmlman/depend.html | 25 ++++++--- site/releases/4.12/htmlman/doccomments.html | 25 ++++++--- site/releases/4.12/htmlman/emptyvariants.html | 25 ++++++--- site/releases/4.12/htmlman/expr.html | 41 +++++++++----- .../4.12/htmlman/extensiblevariants.html | 25 ++++++--- .../releases/4.12/htmlman/extensionnodes.html | 26 ++++++--- .../4.12/htmlman/extensionsyntax.html | 24 ++++++-- site/releases/4.12/htmlman/extn.html | 26 ++++++--- .../4.12/htmlman/firstclassmodules.html | 23 ++++++-- site/releases/4.12/htmlman/flambda.html | 26 ++++++--- site/releases/4.12/htmlman/gadts.html | 25 ++++++--- .../4.12/htmlman/generalizedopens.html | 25 ++++++--- .../4.12/htmlman/generativefunctors.html | 23 ++++++-- site/releases/4.12/htmlman/indexops.html | 25 ++++++--- site/releases/4.12/htmlman/inlinerecords.html | 23 ++++++-- .../4.12/htmlman/instrumented-runtime.html | 25 ++++++--- site/releases/4.12/htmlman/intfc.html | 27 ++++++--- site/releases/4.12/htmlman/lablexamples.html | 27 +++++++-- site/releases/4.12/htmlman/language.html | 24 ++++++-- site/releases/4.12/htmlman/letrecvalues.html | 23 ++++++-- site/releases/4.12/htmlman/lex.html | 23 ++++++-- site/releases/4.12/htmlman/lexyacc.html | 25 ++++++--- site/releases/4.12/htmlman/libdynlink.html | 24 ++++++-- site/releases/4.12/htmlman/libstr.html | 23 ++++++-- site/releases/4.12/htmlman/libthreads.html | 23 ++++++-- site/releases/4.12/htmlman/libunix.html | 26 ++++++--- .../4.12/htmlman/locallyabstract.html | 23 ++++++-- site/releases/4.12/htmlman/manual.css | 26 ++++++++- site/releases/4.12/htmlman/manual024.html | 23 ++++++-- site/releases/4.12/htmlman/modtypes.html | 23 ++++++-- site/releases/4.12/htmlman/modulealias.html | 23 ++++++-- .../releases/4.12/htmlman/moduleexamples.html | 29 +++++++--- site/releases/4.12/htmlman/modules.html | 23 ++++++-- site/releases/4.12/htmlman/moduletypeof.html | 23 ++++++-- site/releases/4.12/htmlman/names.html | 23 ++++++-- site/releases/4.12/htmlman/native.html | 29 +++++++--- .../releases/4.12/htmlman/objectexamples.html | 30 +++++++--- site/releases/4.12/htmlman/ocamldoc.html | 25 ++++++--- site/releases/4.12/htmlman/old.html | 23 ++++++-- .../releases/4.12/htmlman/overridingopen.html | 23 ++++++-- site/releases/4.12/htmlman/parsing.html | 24 ++++++-- site/releases/4.12/htmlman/patterns.html | 23 ++++++-- site/releases/4.12/htmlman/polymorphism.html | 28 +++++++--- site/releases/4.12/htmlman/privatetypes.html | 23 ++++++-- site/releases/4.12/htmlman/profil.html | 24 +++++--- site/releases/4.12/htmlman/runtime.html | 25 ++++++--- .../4.12/htmlman/signaturesubstitution.html | 25 ++++++--- site/releases/4.12/htmlman/stdlib.html | 27 ++++++--- site/releases/4.12/htmlman/toplevel.html | 24 +++++--- site/releases/4.12/htmlman/typedecl.html | 25 ++++++--- site/releases/4.12/htmlman/types.html | 23 ++++++-- site/releases/4.12/htmlman/values.html | 23 ++++++-- 65 files changed, 1214 insertions(+), 453 deletions(-) diff --git a/site/releases/4.12/htmlman/advexamples.html b/site/releases/4.12/htmlman/advexamples.html index 260051902..84f0fe8cb 100644 --- a/site/releases/4.12/htmlman/advexamples.html +++ b/site/releases/4.12/htmlman/advexamples.html @@ -7,12 +7,26 @@ OCaml - Advanced examples with classes and modules -
- - - - -

Chapter 6Advanced examples with classes and modules

+ +
+ +
+

+
+ +
+

+
+

Chapter 6Advanced examples with classes and modules

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/afl-fuzz.html b/site/releases/4.12/htmlman/afl-fuzz.html index bcfb321c1..384762f48 100644 --- a/site/releases/4.12/htmlman/afl-fuzz.html +++ b/site/releases/4.12/htmlman/afl-fuzz.html @@ -7,12 +7,23 @@ OCaml - Fuzzing with afl-fuzz -
- - - - -

Chapter 20Fuzzing with afl-fuzz

+ +
+ +
+

+
+ +
+

+
+

Chapter 20Fuzzing with afl-fuzz

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/alerts.html b/site/releases/4.12/htmlman/alerts.html index 3d27c999d..92838c2f8 100644 --- a/site/releases/4.12/htmlman/alerts.html +++ b/site/releases/4.12/htmlman/alerts.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/attributes.html b/site/releases/4.12/htmlman/attributes.html index a18d121a0..6b574f398 100644 --- a/site/releases/4.12/htmlman/attributes.html +++ b/site/releases/4.12/htmlman/attributes.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/bigarray.html b/site/releases/4.12/htmlman/bigarray.html index 6a321733e..7ab6e6c3d 100644 --- a/site/releases/4.12/htmlman/bigarray.html +++ b/site/releases/4.12/htmlman/bigarray.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/bindingops.html b/site/releases/4.12/htmlman/bindingops.html index 4b903e67c..b6a4fa2c8 100644 --- a/site/releases/4.12/htmlman/bindingops.html +++ b/site/releases/4.12/htmlman/bindingops.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/classes.html b/site/releases/4.12/htmlman/classes.html index 5a1d962d7..01407c794 100644 --- a/site/releases/4.12/htmlman/classes.html +++ b/site/releases/4.12/htmlman/classes.html @@ -7,12 +7,24 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/comp.html b/site/releases/4.12/htmlman/comp.html index d67a14547..6efadb437 100644 --- a/site/releases/4.12/htmlman/comp.html +++ b/site/releases/4.12/htmlman/comp.html @@ -7,12 +7,22 @@ OCaml - Batch compilation (ocamlc) -
- - - - -

Chapter 9Batch compilation (ocamlc)

+ +
+ +
+

+
+ +
+

+

Chapter 9Batch compilation (ocamlc)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/compunit.html b/site/releases/4.12/htmlman/compunit.html index d3281524b..4f0e69671 100644 --- a/site/releases/4.12/htmlman/compunit.html +++ b/site/releases/4.12/htmlman/compunit.html @@ -7,12 +7,23 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/const.html b/site/releases/4.12/htmlman/const.html index 5be648ef5..ce273a560 100644 --- a/site/releases/4.12/htmlman/const.html +++ b/site/releases/4.12/htmlman/const.html @@ -7,12 +7,24 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

diff --git a/site/releases/4.12/htmlman/core.html b/site/releases/4.12/htmlman/core.html index 23ee5627c..293ef06b1 100644 --- a/site/releases/4.12/htmlman/core.html +++ b/site/releases/4.12/htmlman/core.html @@ -7,12 +7,24 @@ OCaml - The core library -
- - - - -

Chapter 22The core library

+ +
+ +
+

+
+ +
+

+
+

Chapter 22The core library

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/coreexamples.html b/site/releases/4.12/htmlman/coreexamples.html index 9bba05188..b3332fd82 100644 --- a/site/releases/4.12/htmlman/coreexamples.html +++ b/site/releases/4.12/htmlman/coreexamples.html @@ -2,16 +2,30 @@ - OCaml - The core language - -
- - - - + + + +
+ +
+

+
+ +
+

+

Chapter 1The core language

We added print_endline "lazy_two evaluation" to see when the lazy -expression is being evaluated.

The value of lazy_two is displayed as <lazy>, which means the expression -has not been evaluated yet, and its final value is unknown.

Note that lazy_two has type int lazy_t. However, the type 'a lazy_t is an -internal type name, so the type 'a Lazy.t should be preferred when possible.

When we finally need the result of a lazy expression, we can call Lazy.force -on that expression to force its evaluation. The function force comes from +expression is being evaluated.

The value of lazy_two is displayed as <lazy>, which means the expression +has not been evaluated yet, and its final value is unknown.

Note that lazy_two has type int lazy_t. However, the type 'a lazy_t is an +internal type name, so the type 'a Lazy.t should be preferred when possible.

When we finally need the result of a lazy expression, we can call Lazy.force +on that expression to force its evaluation. The function force comes from standard-library module Lazy.

@@ -1426,8 +1440,8 @@

lazy_two evaluation - : int = 2

-

Notice that our function call above prints “lazy_two evaluation” and then -returns the plain value of the computation.

Now if we look at the value of lazy_two, we see that it is not displayed as +

Notice that our function call above prints “lazy_two evaluation” and then +returns the plain value of the computation.

Now if we look at the value of lazy_two, we see that it is not displayed as <lazy> anymore but as lazy 2.

@@ -1440,9 +1454,9 @@

- : int lazy_t = lazy 2

-

This is because Lazy.force memoizes the result of the forced expression. In other -words, every subsequent call of Lazy.force on that expression returns the -result of the first computation without recomputing the lazy expression. Let us +

This is because Lazy.force memoizes the result of the forced expression. In other +words, every subsequent call of Lazy.force on that expression returns the +result of the first computation without recomputing the lazy expression. Let us force lazy_two once again.

@@ -1492,9 +1506,9 @@

val maybe_eval : bool lazy_t -> 'a lazy_t -> string = <fun>

-

The lazy expression lazy_expr is forced only if the lazy_guard value yields -true once computed. Indeed, a simple wildcard pattern (not lazy) never forces -the lazy expression’s evaluation. However, a pattern with keyword lazy, even +

The lazy expression lazy_expr is forced only if the lazy_guard value yields +true once computed. Indeed, a simple wildcard pattern (not lazy) never forces +the lazy expression’s evaluation. However, a pattern with keyword lazy, even if it is wildcard, always forces the evaluation of the deferred computation.

8Symbolic processing of expressions

We finish this introduction with a more complete example @@ -1933,4 +1947,4 @@

Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique \ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/debugger.html b/site/releases/4.12/htmlman/debugger.html index 9c350c994..e543bfb92 100644 --- a/site/releases/4.12/htmlman/debugger.html +++ b/site/releases/4.12/htmlman/debugger.html @@ -7,12 +7,23 @@ OCaml - The debugger (ocamldebug) -
- - - - -

Chapter 16The debugger (ocamldebug)

+ +
+ +
+

+
+ +
+

+
+

Chapter 16The debugger (ocamldebug)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/depend.html b/site/releases/4.12/htmlman/depend.html index 18c88cda3..05dc0a23c 100644 --- a/site/releases/4.12/htmlman/depend.html +++ b/site/releases/4.12/htmlman/depend.html @@ -7,12 +7,23 @@ OCaml - Dependency generator (ocamldep) -
- - - - -

Chapter 14Dependency generator (ocamldep)

+ +
+ +
+

+
+ +
+

+
+

Chapter 14Dependency generator (ocamldep)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/doccomments.html b/site/releases/4.12/htmlman/doccomments.html index a30d7895c..a0628b471 100644 --- a/site/releases/4.12/htmlman/doccomments.html +++ b/site/releases/4.12/htmlman/doccomments.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/emptyvariants.html b/site/releases/4.12/htmlman/emptyvariants.html index a0168db59..d0c4b213b 100644 --- a/site/releases/4.12/htmlman/emptyvariants.html +++ b/site/releases/4.12/htmlman/emptyvariants.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/expr.html b/site/releases/4.12/htmlman/expr.html index e01e6bba3..c0bf69d30 100644 --- a/site/releases/4.12/htmlman/expr.html +++ b/site/releases/4.12/htmlman/expr.html @@ -7,12 +7,23 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/extensiblevariants.html b/site/releases/4.12/htmlman/extensiblevariants.html index ee162d799..24ad175ac 100644 --- a/site/releases/4.12/htmlman/extensiblevariants.html +++ b/site/releases/4.12/htmlman/extensiblevariants.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/extensionnodes.html b/site/releases/4.12/htmlman/extensionnodes.html index 1eb8b011b..5976977ea 100644 --- a/site/releases/4.12/htmlman/extensionnodes.html +++ b/site/releases/4.12/htmlman/extensionnodes.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/extensionsyntax.html b/site/releases/4.12/htmlman/extensionsyntax.html index b8d6f28d3..78ac8c133 100644 --- a/site/releases/4.12/htmlman/extensionsyntax.html +++ b/site/releases/4.12/htmlman/extensionsyntax.html @@ -7,11 +7,23 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+
+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/extn.html b/site/releases/4.12/htmlman/extn.html index 352d6c327..63989576f 100644 --- a/site/releases/4.12/htmlman/extn.html +++ b/site/releases/4.12/htmlman/extn.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

+ +
+ +
+

+
+ +
+

+
+

Chapter 8Language extensions

This chapter describes language extensions and convenience features that are implemented in OCaml, but not described in chapter 7.

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/firstclassmodules.html b/site/releases/4.12/htmlman/firstclassmodules.html index 1ffd1dd23..95cffb604 100644 --- a/site/releases/4.12/htmlman/firstclassmodules.html +++ b/site/releases/4.12/htmlman/firstclassmodules.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/flambda.html b/site/releases/4.12/htmlman/flambda.html index 7dd116c0b..549591a4c 100644 --- a/site/releases/4.12/htmlman/flambda.html +++ b/site/releases/4.12/htmlman/flambda.html @@ -7,12 +7,22 @@ OCaml - Optimisation with Flambda -
- - - - -

Chapter 19Optimisation with Flambda

+ +
+ +
+

+
+ +
+

+

Chapter 19Optimisation with Flambda

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/gadts.html b/site/releases/4.12/htmlman/gadts.html index eb15ab9c1..9af63d296 100644 --- a/site/releases/4.12/htmlman/gadts.html +++ b/site/releases/4.12/htmlman/gadts.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/generalizedopens.html b/site/releases/4.12/htmlman/generalizedopens.html index e1f8ad4a8..f901be631 100644 --- a/site/releases/4.12/htmlman/generalizedopens.html +++ b/site/releases/4.12/htmlman/generalizedopens.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/generativefunctors.html b/site/releases/4.12/htmlman/generativefunctors.html index fc273d173..b1da2a509 100644 --- a/site/releases/4.12/htmlman/generativefunctors.html +++ b/site/releases/4.12/htmlman/generativefunctors.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/indexops.html b/site/releases/4.12/htmlman/indexops.html index 652cd0d57..0aa360084 100644 --- a/site/releases/4.12/htmlman/indexops.html +++ b/site/releases/4.12/htmlman/indexops.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/inlinerecords.html b/site/releases/4.12/htmlman/inlinerecords.html index b0d8ac28f..7773240a0 100644 --- a/site/releases/4.12/htmlman/inlinerecords.html +++ b/site/releases/4.12/htmlman/inlinerecords.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/instrumented-runtime.html b/site/releases/4.12/htmlman/instrumented-runtime.html index c35c79d23..4f00148d0 100644 --- a/site/releases/4.12/htmlman/instrumented-runtime.html +++ b/site/releases/4.12/htmlman/instrumented-runtime.html @@ -7,12 +7,23 @@ OCaml - Runtime tracing with the instrumented runtime -
- - - - -

Chapter 21Runtime tracing with the instrumented runtime

+ +
+ +
+

+
+ +
+

+
+

Chapter 21Runtime tracing with the instrumented runtime

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/intfc.html b/site/releases/4.12/htmlman/intfc.html index 1c56791be..22dc83336 100644 --- a/site/releases/4.12/htmlman/intfc.html +++ b/site/releases/4.12/htmlman/intfc.html @@ -7,12 +7,23 @@ OCaml - Interfacing C with OCaml -
- - - - -

Chapter 18Interfacing C with OCaml

+ +
+ +
+

+
+ +
+

+
+

Chapter 18Interfacing C with OCaml

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/lablexamples.html b/site/releases/4.12/htmlman/lablexamples.html index 16de634ba..f6f509cda 100644 --- a/site/releases/4.12/htmlman/lablexamples.html +++ b/site/releases/4.12/htmlman/lablexamples.html @@ -7,11 +7,26 @@ OCaml - Labels and variants -
- - - - + +
+ +
+

+
+ +
+

+
+

Chapter 4Labels and variants

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/language.html b/site/releases/4.12/htmlman/language.html index c43bfc35d..006c575ef 100644 --- a/site/releases/4.12/htmlman/language.html +++ b/site/releases/4.12/htmlman/language.html @@ -7,11 +7,23 @@ OCaml - The OCaml language -
- - - - + +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

Foreword

@@ -66,4 +78,4 @@

Chapter 7The OCaml la
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/letrecvalues.html b/site/releases/4.12/htmlman/letrecvalues.html index 8bc1e8458..04a52dcf8 100644 --- a/site/releases/4.12/htmlman/letrecvalues.html +++ b/site/releases/4.12/htmlman/letrecvalues.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/lex.html b/site/releases/4.12/htmlman/lex.html index ae69a38ed..530003634 100644 --- a/site/releases/4.12/htmlman/lex.html +++ b/site/releases/4.12/htmlman/lex.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/lexyacc.html b/site/releases/4.12/htmlman/lexyacc.html index a0fe32bd1..1107d6ce1 100644 --- a/site/releases/4.12/htmlman/lexyacc.html +++ b/site/releases/4.12/htmlman/lexyacc.html @@ -7,12 +7,23 @@ OCaml - Lexer and parser generators (ocamllex, ocamlyacc) -
- - - - -

Chapter 13Lexer and parser generators (ocamllex, ocamlyacc)

+ +
+ +
+

+
+ +
+

+
+

Chapter 13Lexer and parser generators (ocamllex, ocamlyacc)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/libdynlink.html b/site/releases/4.12/htmlman/libdynlink.html index de63fae49..2ff8fc0c6 100644 --- a/site/releases/4.12/htmlman/libdynlink.html +++ b/site/releases/4.12/htmlman/libdynlink.html @@ -7,11 +7,23 @@ OCaml - The dynlink library: dynamic loading and linking of object files -
- - - - +
+ +
+

+
+ + +
+

+

Chapter 28The dynlink library: dynamic loading and linking of object files

The dynlink library supports type-safe dynamic loading and linking of bytecode object files (.cmo and .cma files) in a running @@ -38,4 +50,4 @@

Chapter 28The dynlin
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/libstr.html b/site/releases/4.12/htmlman/libstr.html index f2e998b22..547180e04 100644 --- a/site/releases/4.12/htmlman/libstr.html +++ b/site/releases/4.12/htmlman/libstr.html @@ -7,10 +7,23 @@ OCaml - The str library: regular expressions and string processing -
- - - +
+ +
+

+
+ + +
+

+

Chapter 26The str library: regular expressions and string processing

The str library provides high-level string processing functions, @@ -35,4 +48,4 @@

Chapter 26The str li
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/libthreads.html b/site/releases/4.12/htmlman/libthreads.html index 2e49111d7..aa3e19a5f 100644 --- a/site/releases/4.12/htmlman/libthreads.html +++ b/site/releases/4.12/htmlman/libthreads.html @@ -7,10 +7,23 @@ OCaml - The threads library -
- - - +
+ +
+

+
+ + +
+

+

Chapter 27The threads library

@@ -45,4 +58,4 @@

Chapter 27The thread
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/libunix.html b/site/releases/4.12/htmlman/libunix.html index 0c5b5d17b..247cbe96b 100644 --- a/site/releases/4.12/htmlman/libunix.html +++ b/site/releases/4.12/htmlman/libunix.html @@ -7,12 +7,24 @@ OCaml - The unix library: Unix system calls -
- - - - -

Chapter 25The unix library: Unix system calls

+
+ +
+

+
+ + +
+

+
+

Chapter 25The unix library: Unix system calls

The unix library makes many Unix system calls and system-related library functions available to @@ -83,4 +95,4 @@

Chapter 25The unix l
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/locallyabstract.html b/site/releases/4.12/htmlman/locallyabstract.html index b7281cdfe..f931fa3fb 100644 --- a/site/releases/4.12/htmlman/locallyabstract.html +++ b/site/releases/4.12/htmlman/locallyabstract.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/manual.css b/site/releases/4.12/htmlman/manual.css index 3647d70a9..5247fda0e 100644 --- a/site/releases/4.12/htmlman/manual.css +++ b/site/releases/4.12/htmlman/manual.css @@ -26,7 +26,24 @@ html.smooth-scroll { scroll-behavior: smooth; } - + @media all and (max-width: 14400px) and (min-width: 900px) { + .right-div{ + margin-left:73%; + display:content; + } + .right-div-1{ + width: 25%; + margin-left: 72%; + } + } + @media all and (max-width: 800px) and (min-width: 300px){ + .right-div{ + width: 96%; + } + .right-div-1{ + width: 96%; + } + } @media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } } @@ -46,9 +63,13 @@ html { #sidebar-button { float: right; cursor: context-menu; + background-color: white; display: none; } #sidebar-button span { - font-size: 28px; } + font-size: 22px; + display: block; + width: 100%; + background-color: white;} .content > header, .api > header { margin-bottom: 30px; } @@ -396,6 +417,7 @@ blockquote.quote { text-align: right; list-style: none; overflow-y: hidden; + background-color: white; transition: height 0.3s; } #part-menu li.active a { diff --git a/site/releases/4.12/htmlman/manual024.html b/site/releases/4.12/htmlman/manual024.html index 828964041..3a02d700b 100644 --- a/site/releases/4.12/htmlman/manual024.html +++ b/site/releases/4.12/htmlman/manual024.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/modtypes.html b/site/releases/4.12/htmlman/modtypes.html index fb0f93e21..66045b923 100644 --- a/site/releases/4.12/htmlman/modtypes.html +++ b/site/releases/4.12/htmlman/modtypes.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/modulealias.html b/site/releases/4.12/htmlman/modulealias.html index 8b8f04380..fa035d222 100644 --- a/site/releases/4.12/htmlman/modulealias.html +++ b/site/releases/4.12/htmlman/modulealias.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/moduleexamples.html b/site/releases/4.12/htmlman/moduleexamples.html index aefeae9a9..d8ae28b20 100644 --- a/site/releases/4.12/htmlman/moduleexamples.html +++ b/site/releases/4.12/htmlman/moduleexamples.html @@ -6,12 +6,27 @@ OCaml - The module system - -
- - - - + + + +
+ +
+

+
+ +
+

+

Chapter 2The module system

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/modules.html b/site/releases/4.12/htmlman/modules.html index f4ba7fd42..0037547ab 100644 --- a/site/releases/4.12/htmlman/modules.html +++ b/site/releases/4.12/htmlman/modules.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/moduletypeof.html b/site/releases/4.12/htmlman/moduletypeof.html index 02c862785..3cd91ead5 100644 --- a/site/releases/4.12/htmlman/moduletypeof.html +++ b/site/releases/4.12/htmlman/moduletypeof.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/names.html b/site/releases/4.12/htmlman/names.html index 65ff3c48d..5ff6f7b37 100644 --- a/site/releases/4.12/htmlman/names.html +++ b/site/releases/4.12/htmlman/names.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/native.html b/site/releases/4.12/htmlman/native.html index f3fd10bd5..32b520b94 100644 --- a/site/releases/4.12/htmlman/native.html +++ b/site/releases/4.12/htmlman/native.html @@ -7,12 +7,23 @@ OCaml - Native-code compilation (ocamlopt) -
- - - - -

Chapter 12Native-code compilation (ocamlopt)

+ +
+ +
+

+
+ +
+

+
+

Chapter 12Native-code compilation (ocamlopt)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/objectexamples.html b/site/releases/4.12/htmlman/objectexamples.html index 541c97208..031acdb0f 100644 --- a/site/releases/4.12/htmlman/objectexamples.html +++ b/site/releases/4.12/htmlman/objectexamples.html @@ -5,13 +5,27 @@ -OCaml - Objects in OCaml - -
- - - - + + + +
+ +
+

+
+ +
+

+

Chapter 3Objects in OCaml

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/ocamldoc.html b/site/releases/4.12/htmlman/ocamldoc.html index 26f91d258..affd12e81 100644 --- a/site/releases/4.12/htmlman/ocamldoc.html +++ b/site/releases/4.12/htmlman/ocamldoc.html @@ -7,12 +7,23 @@ OCaml - The documentation generator (ocamldoc) -
- - - - -

Chapter 15The documentation generator (ocamldoc)

+ +
+ +
+

+
+ +
+

+
+

Chapter 15The documentation generator (ocamldoc)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/old.html b/site/releases/4.12/htmlman/old.html index 733c18297..cdd49b000 100644 --- a/site/releases/4.12/htmlman/old.html +++ b/site/releases/4.12/htmlman/old.html @@ -7,11 +7,22 @@ OCaml - Recently removed or moved libraries (Graphics, Bigarray, Num, LablTk) -
- - - - +
+ +
+

+
+ +
+

+

Chapter 29Recently removed or moved libraries (Graphics, Bigarray, Num, LablTk)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/overridingopen.html b/site/releases/4.12/htmlman/overridingopen.html index 90b2bf51c..912178410 100644 --- a/site/releases/4.12/htmlman/overridingopen.html +++ b/site/releases/4.12/htmlman/overridingopen.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/parsing.html b/site/releases/4.12/htmlman/parsing.html index 234f55e36..06df28d31 100644 --- a/site/releases/4.12/htmlman/parsing.html +++ b/site/releases/4.12/htmlman/parsing.html @@ -7,11 +7,23 @@ OCaml - The compiler front-end -
- - - - +
+ +
+

+
+ + +
+

+

Chapter 24The compiler front-end

This chapter describes the OCaml front-end, which declares the abstract @@ -46,4 +58,4 @@

Chapter 24The compil
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/patterns.html b/site/releases/4.12/htmlman/patterns.html index 4870d5fa6..adcc90c5a 100644 --- a/site/releases/4.12/htmlman/patterns.html +++ b/site/releases/4.12/htmlman/patterns.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/polymorphism.html b/site/releases/4.12/htmlman/polymorphism.html index dbc12202e..813e9ee99 100644 --- a/site/releases/4.12/htmlman/polymorphism.html +++ b/site/releases/4.12/htmlman/polymorphism.html @@ -7,12 +7,26 @@ OCaml - Polymorphism and its limitations -
- - - - -

Chapter 5Polymorphism and its limitations

+ +
+ +
+

+
+ +
+

+
+

Chapter 5Polymorphism and its limitations

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/privatetypes.html b/site/releases/4.12/htmlman/privatetypes.html index 73b3d2b93..c80edee0f 100644 --- a/site/releases/4.12/htmlman/privatetypes.html +++ b/site/releases/4.12/htmlman/privatetypes.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/profil.html b/site/releases/4.12/htmlman/profil.html index 5ed50ce10..bf015a623 100644 --- a/site/releases/4.12/htmlman/profil.html +++ b/site/releases/4.12/htmlman/profil.html @@ -7,12 +7,22 @@ OCaml - Profiling (ocamlprof) -
- - - - -

Chapter 17Profiling (ocamlprof)

+ +
+ +
+

+
+ +
+

+

Chapter 17Profiling (ocamlprof)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/runtime.html b/site/releases/4.12/htmlman/runtime.html index 71a4cc0a9..848f8f296 100644 --- a/site/releases/4.12/htmlman/runtime.html +++ b/site/releases/4.12/htmlman/runtime.html @@ -7,12 +7,23 @@ OCaml - The runtime system (ocamlrun) -
- - - - -

Chapter 11The runtime system (ocamlrun)

+ +
+ +
+

+
+ +
+

+
+

Chapter 11The runtime system (ocamlrun)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/signaturesubstitution.html b/site/releases/4.12/htmlman/signaturesubstitution.html index 9e0474084..3bdaf5bc1 100644 --- a/site/releases/4.12/htmlman/signaturesubstitution.html +++ b/site/releases/4.12/htmlman/signaturesubstitution.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/stdlib.html b/site/releases/4.12/htmlman/stdlib.html index 2f0dd76d3..18ef20d11 100644 --- a/site/releases/4.12/htmlman/stdlib.html +++ b/site/releases/4.12/htmlman/stdlib.html @@ -7,12 +7,25 @@ OCaml - The standard library -
- - - - -

Chapter 23The standard library

+ +
+ +
+

+
+ + +
+

+
+

Chapter 23The standard library

This chapter describes the functions provided by the OCaml standard library. The modules from the standard library are automatically linked with the user’s object code files by the ocamlc @@ -84,4 +97,4 @@

Chapter 23The standa
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/toplevel.html b/site/releases/4.12/htmlman/toplevel.html index 1a5919831..dbd54eee6 100644 --- a/site/releases/4.12/htmlman/toplevel.html +++ b/site/releases/4.12/htmlman/toplevel.html @@ -7,12 +7,22 @@ OCaml - The toplevel system or REPL (ocaml) -
- - - - -

Chapter 10The toplevel system or REPL (ocaml)

+ +
+ +
+

+
+ +
+

+

Chapter 10The toplevel system or REPL (ocaml)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/typedecl.html b/site/releases/4.12/htmlman/typedecl.html index 38f3abd2e..af908d2c6 100644 --- a/site/releases/4.12/htmlman/typedecl.html +++ b/site/releases/4.12/htmlman/typedecl.html @@ -7,12 +7,23 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/types.html b/site/releases/4.12/htmlman/types.html index 7a64e8c78..2293ba445 100644 --- a/site/releases/4.12/htmlman/types.html +++ b/site/releases/4.12/htmlman/types.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/values.html b/site/releases/4.12/htmlman/values.html index b91d9ffe1..a0330ecda 100644 --- a/site/releases/4.12/htmlman/values.html +++ b/site/releases/4.12/htmlman/values.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique From f762e1388dbd0dba3a4e7c114a9e5df846caa7f3 Mon Sep 17 00:00:00 2001 From: yashi Date: Fri, 23 Apr 2021 02:58:46 +0530 Subject: [PATCH 2/2] changed ocaml manual layout --- site/releases/4.12/htmlman/advexamples.html | 28 +++++++--- site/releases/4.12/htmlman/afl-fuzz.html | 25 ++++++--- site/releases/4.12/htmlman/alerts.html | 26 ++++++--- site/releases/4.12/htmlman/attributes.html | 26 ++++++--- site/releases/4.12/htmlman/bigarray.html | 26 ++++++--- site/releases/4.12/htmlman/bindingops.html | 25 ++++++--- site/releases/4.12/htmlman/classes.html | 26 ++++++--- site/releases/4.12/htmlman/comp.html | 28 +++++++--- site/releases/4.12/htmlman/compunit.html | 25 ++++++--- site/releases/4.12/htmlman/const.html | 26 ++++++--- site/releases/4.12/htmlman/core.html | 26 ++++++--- site/releases/4.12/htmlman/coreexamples.html | 56 ++++++++++++------- site/releases/4.12/htmlman/debugger.html | 27 ++++++--- site/releases/4.12/htmlman/depend.html | 25 ++++++--- site/releases/4.12/htmlman/doccomments.html | 25 ++++++--- site/releases/4.12/htmlman/emptyvariants.html | 25 ++++++--- site/releases/4.12/htmlman/expr.html | 41 +++++++++----- .../4.12/htmlman/extensiblevariants.html | 25 ++++++--- .../releases/4.12/htmlman/extensionnodes.html | 26 ++++++--- .../4.12/htmlman/extensionsyntax.html | 24 ++++++-- site/releases/4.12/htmlman/extn.html | 26 ++++++--- .../4.12/htmlman/firstclassmodules.html | 23 ++++++-- site/releases/4.12/htmlman/flambda.html | 26 ++++++--- site/releases/4.12/htmlman/gadts.html | 25 ++++++--- .../4.12/htmlman/generalizedopens.html | 25 ++++++--- .../4.12/htmlman/generativefunctors.html | 23 ++++++-- site/releases/4.12/htmlman/indexops.html | 25 ++++++--- site/releases/4.12/htmlman/inlinerecords.html | 23 ++++++-- .../4.12/htmlman/instrumented-runtime.html | 25 ++++++--- site/releases/4.12/htmlman/intfc.html | 27 ++++++--- site/releases/4.12/htmlman/lablexamples.html | 27 +++++++-- site/releases/4.12/htmlman/language.html | 24 ++++++-- site/releases/4.12/htmlman/letrecvalues.html | 23 ++++++-- site/releases/4.12/htmlman/lex.html | 23 ++++++-- site/releases/4.12/htmlman/lexyacc.html | 25 ++++++--- site/releases/4.12/htmlman/libdynlink.html | 24 ++++++-- site/releases/4.12/htmlman/libstr.html | 23 ++++++-- site/releases/4.12/htmlman/libthreads.html | 23 ++++++-- site/releases/4.12/htmlman/libunix.html | 26 ++++++--- .../4.12/htmlman/locallyabstract.html | 23 ++++++-- site/releases/4.12/htmlman/manual.css | 26 ++++++++- site/releases/4.12/htmlman/manual024.html | 23 ++++++-- site/releases/4.12/htmlman/modtypes.html | 23 ++++++-- site/releases/4.12/htmlman/modulealias.html | 23 ++++++-- .../releases/4.12/htmlman/moduleexamples.html | 29 +++++++--- site/releases/4.12/htmlman/modules.html | 23 ++++++-- site/releases/4.12/htmlman/moduletypeof.html | 23 ++++++-- site/releases/4.12/htmlman/names.html | 23 ++++++-- site/releases/4.12/htmlman/native.html | 29 +++++++--- .../releases/4.12/htmlman/objectexamples.html | 30 +++++++--- site/releases/4.12/htmlman/ocamldoc.html | 25 ++++++--- site/releases/4.12/htmlman/old.html | 23 ++++++-- .../releases/4.12/htmlman/overridingopen.html | 23 ++++++-- site/releases/4.12/htmlman/parsing.html | 24 ++++++-- site/releases/4.12/htmlman/patterns.html | 23 ++++++-- site/releases/4.12/htmlman/polymorphism.html | 28 +++++++--- site/releases/4.12/htmlman/privatetypes.html | 23 ++++++-- site/releases/4.12/htmlman/profil.html | 24 +++++--- site/releases/4.12/htmlman/runtime.html | 25 ++++++--- .../4.12/htmlman/signaturesubstitution.html | 25 ++++++--- site/releases/4.12/htmlman/stdlib.html | 27 ++++++--- site/releases/4.12/htmlman/toplevel.html | 24 +++++--- site/releases/4.12/htmlman/typedecl.html | 25 ++++++--- site/releases/4.12/htmlman/types.html | 23 ++++++-- site/releases/4.12/htmlman/values.html | 23 ++++++-- 65 files changed, 1214 insertions(+), 453 deletions(-) diff --git a/site/releases/4.12/htmlman/advexamples.html b/site/releases/4.12/htmlman/advexamples.html index 260051902..84f0fe8cb 100644 --- a/site/releases/4.12/htmlman/advexamples.html +++ b/site/releases/4.12/htmlman/advexamples.html @@ -7,12 +7,26 @@ OCaml - Advanced examples with classes and modules -
- - - - -

Chapter 6Advanced examples with classes and modules

+ +
+ +
+

+
+ +
+

+
+

Chapter 6Advanced examples with classes and modules

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/afl-fuzz.html b/site/releases/4.12/htmlman/afl-fuzz.html index bcfb321c1..384762f48 100644 --- a/site/releases/4.12/htmlman/afl-fuzz.html +++ b/site/releases/4.12/htmlman/afl-fuzz.html @@ -7,12 +7,23 @@ OCaml - Fuzzing with afl-fuzz -
- - - - -

Chapter 20Fuzzing with afl-fuzz

+ +
+ +
+

+
+ +
+

+
+

Chapter 20Fuzzing with afl-fuzz

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/alerts.html b/site/releases/4.12/htmlman/alerts.html index 3d27c999d..92838c2f8 100644 --- a/site/releases/4.12/htmlman/alerts.html +++ b/site/releases/4.12/htmlman/alerts.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/attributes.html b/site/releases/4.12/htmlman/attributes.html index a18d121a0..6b574f398 100644 --- a/site/releases/4.12/htmlman/attributes.html +++ b/site/releases/4.12/htmlman/attributes.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/bigarray.html b/site/releases/4.12/htmlman/bigarray.html index 6a321733e..7ab6e6c3d 100644 --- a/site/releases/4.12/htmlman/bigarray.html +++ b/site/releases/4.12/htmlman/bigarray.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/bindingops.html b/site/releases/4.12/htmlman/bindingops.html index 4b903e67c..b6a4fa2c8 100644 --- a/site/releases/4.12/htmlman/bindingops.html +++ b/site/releases/4.12/htmlman/bindingops.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/classes.html b/site/releases/4.12/htmlman/classes.html index 5a1d962d7..01407c794 100644 --- a/site/releases/4.12/htmlman/classes.html +++ b/site/releases/4.12/htmlman/classes.html @@ -7,12 +7,24 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/comp.html b/site/releases/4.12/htmlman/comp.html index d67a14547..6efadb437 100644 --- a/site/releases/4.12/htmlman/comp.html +++ b/site/releases/4.12/htmlman/comp.html @@ -7,12 +7,22 @@ OCaml - Batch compilation (ocamlc) -
- - - - -

Chapter 9Batch compilation (ocamlc)

+ +
+ +
+

+
+ +
+

+

Chapter 9Batch compilation (ocamlc)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/compunit.html b/site/releases/4.12/htmlman/compunit.html index d3281524b..4f0e69671 100644 --- a/site/releases/4.12/htmlman/compunit.html +++ b/site/releases/4.12/htmlman/compunit.html @@ -7,12 +7,23 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/const.html b/site/releases/4.12/htmlman/const.html index 5be648ef5..ce273a560 100644 --- a/site/releases/4.12/htmlman/const.html +++ b/site/releases/4.12/htmlman/const.html @@ -7,12 +7,24 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

diff --git a/site/releases/4.12/htmlman/core.html b/site/releases/4.12/htmlman/core.html index 23ee5627c..293ef06b1 100644 --- a/site/releases/4.12/htmlman/core.html +++ b/site/releases/4.12/htmlman/core.html @@ -7,12 +7,24 @@ OCaml - The core library -
- - - - -

Chapter 22The core library

+ +
+ +
+

+
+ +
+

+
+

Chapter 22The core library

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/coreexamples.html b/site/releases/4.12/htmlman/coreexamples.html index 9bba05188..b3332fd82 100644 --- a/site/releases/4.12/htmlman/coreexamples.html +++ b/site/releases/4.12/htmlman/coreexamples.html @@ -2,16 +2,30 @@ - OCaml - The core language - -
- - - - + + + +
+ +
+

+
+ +
+

+

Chapter 1The core language

We added print_endline "lazy_two evaluation" to see when the lazy -expression is being evaluated.

The value of lazy_two is displayed as <lazy>, which means the expression -has not been evaluated yet, and its final value is unknown.

Note that lazy_two has type int lazy_t. However, the type 'a lazy_t is an -internal type name, so the type 'a Lazy.t should be preferred when possible.

When we finally need the result of a lazy expression, we can call Lazy.force -on that expression to force its evaluation. The function force comes from +expression is being evaluated.

The value of lazy_two is displayed as <lazy>, which means the expression +has not been evaluated yet, and its final value is unknown.

Note that lazy_two has type int lazy_t. However, the type 'a lazy_t is an +internal type name, so the type 'a Lazy.t should be preferred when possible.

When we finally need the result of a lazy expression, we can call Lazy.force +on that expression to force its evaluation. The function force comes from standard-library module Lazy.

@@ -1426,8 +1440,8 @@

lazy_two evaluation - : int = 2

-

Notice that our function call above prints “lazy_two evaluation” and then -returns the plain value of the computation.

Now if we look at the value of lazy_two, we see that it is not displayed as +

Notice that our function call above prints “lazy_two evaluation” and then +returns the plain value of the computation.

Now if we look at the value of lazy_two, we see that it is not displayed as <lazy> anymore but as lazy 2.

@@ -1440,9 +1454,9 @@

- : int lazy_t = lazy 2

-

This is because Lazy.force memoizes the result of the forced expression. In other -words, every subsequent call of Lazy.force on that expression returns the -result of the first computation without recomputing the lazy expression. Let us +

This is because Lazy.force memoizes the result of the forced expression. In other +words, every subsequent call of Lazy.force on that expression returns the +result of the first computation without recomputing the lazy expression. Let us force lazy_two once again.

@@ -1492,9 +1506,9 @@

val maybe_eval : bool lazy_t -> 'a lazy_t -> string = <fun>

-

The lazy expression lazy_expr is forced only if the lazy_guard value yields -true once computed. Indeed, a simple wildcard pattern (not lazy) never forces -the lazy expression’s evaluation. However, a pattern with keyword lazy, even +

The lazy expression lazy_expr is forced only if the lazy_guard value yields +true once computed. Indeed, a simple wildcard pattern (not lazy) never forces +the lazy expression’s evaluation. However, a pattern with keyword lazy, even if it is wildcard, always forces the evaluation of the deferred computation.

8Symbolic processing of expressions

We finish this introduction with a more complete example @@ -1933,4 +1947,4 @@

Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique \ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/debugger.html b/site/releases/4.12/htmlman/debugger.html index 9c350c994..e543bfb92 100644 --- a/site/releases/4.12/htmlman/debugger.html +++ b/site/releases/4.12/htmlman/debugger.html @@ -7,12 +7,23 @@ OCaml - The debugger (ocamldebug) -
- - - - -

Chapter 16The debugger (ocamldebug)

+ +
+ +
+

+
+ +
+

+
+

Chapter 16The debugger (ocamldebug)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/depend.html b/site/releases/4.12/htmlman/depend.html index 18c88cda3..05dc0a23c 100644 --- a/site/releases/4.12/htmlman/depend.html +++ b/site/releases/4.12/htmlman/depend.html @@ -7,12 +7,23 @@ OCaml - Dependency generator (ocamldep) -
- - - - -

Chapter 14Dependency generator (ocamldep)

+ +
+ +
+

+
+ +
+

+
+

Chapter 14Dependency generator (ocamldep)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/doccomments.html b/site/releases/4.12/htmlman/doccomments.html index a30d7895c..a0628b471 100644 --- a/site/releases/4.12/htmlman/doccomments.html +++ b/site/releases/4.12/htmlman/doccomments.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/emptyvariants.html b/site/releases/4.12/htmlman/emptyvariants.html index a0168db59..d0c4b213b 100644 --- a/site/releases/4.12/htmlman/emptyvariants.html +++ b/site/releases/4.12/htmlman/emptyvariants.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/expr.html b/site/releases/4.12/htmlman/expr.html index e01e6bba3..c0bf69d30 100644 --- a/site/releases/4.12/htmlman/expr.html +++ b/site/releases/4.12/htmlman/expr.html @@ -7,12 +7,23 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/extensiblevariants.html b/site/releases/4.12/htmlman/extensiblevariants.html index ee162d799..24ad175ac 100644 --- a/site/releases/4.12/htmlman/extensiblevariants.html +++ b/site/releases/4.12/htmlman/extensiblevariants.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/extensionnodes.html b/site/releases/4.12/htmlman/extensionnodes.html index 1eb8b011b..5976977ea 100644 --- a/site/releases/4.12/htmlman/extensionnodes.html +++ b/site/releases/4.12/htmlman/extensionnodes.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/extensionsyntax.html b/site/releases/4.12/htmlman/extensionsyntax.html index b8d6f28d3..78ac8c133 100644 --- a/site/releases/4.12/htmlman/extensionsyntax.html +++ b/site/releases/4.12/htmlman/extensionsyntax.html @@ -7,11 +7,23 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+
+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/extn.html b/site/releases/4.12/htmlman/extn.html index 352d6c327..63989576f 100644 --- a/site/releases/4.12/htmlman/extn.html +++ b/site/releases/4.12/htmlman/extn.html @@ -7,12 +7,24 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

+ +
+ +
+

+
+ +
+

+
+

Chapter 8Language extensions

This chapter describes language extensions and convenience features that are implemented in OCaml, but not described in chapter 7.

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/firstclassmodules.html b/site/releases/4.12/htmlman/firstclassmodules.html index 1ffd1dd23..95cffb604 100644 --- a/site/releases/4.12/htmlman/firstclassmodules.html +++ b/site/releases/4.12/htmlman/firstclassmodules.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/flambda.html b/site/releases/4.12/htmlman/flambda.html index 7dd116c0b..549591a4c 100644 --- a/site/releases/4.12/htmlman/flambda.html +++ b/site/releases/4.12/htmlman/flambda.html @@ -7,12 +7,22 @@ OCaml - Optimisation with Flambda -
- - - - -

Chapter 19Optimisation with Flambda

+ +
+ +
+

+
+ +
+

+

Chapter 19Optimisation with Flambda

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/gadts.html b/site/releases/4.12/htmlman/gadts.html index eb15ab9c1..9af63d296 100644 --- a/site/releases/4.12/htmlman/gadts.html +++ b/site/releases/4.12/htmlman/gadts.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/generalizedopens.html b/site/releases/4.12/htmlman/generalizedopens.html index e1f8ad4a8..f901be631 100644 --- a/site/releases/4.12/htmlman/generalizedopens.html +++ b/site/releases/4.12/htmlman/generalizedopens.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/generativefunctors.html b/site/releases/4.12/htmlman/generativefunctors.html index fc273d173..b1da2a509 100644 --- a/site/releases/4.12/htmlman/generativefunctors.html +++ b/site/releases/4.12/htmlman/generativefunctors.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/indexops.html b/site/releases/4.12/htmlman/indexops.html index 652cd0d57..0aa360084 100644 --- a/site/releases/4.12/htmlman/indexops.html +++ b/site/releases/4.12/htmlman/indexops.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/inlinerecords.html b/site/releases/4.12/htmlman/inlinerecords.html index b0d8ac28f..7773240a0 100644 --- a/site/releases/4.12/htmlman/inlinerecords.html +++ b/site/releases/4.12/htmlman/inlinerecords.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/instrumented-runtime.html b/site/releases/4.12/htmlman/instrumented-runtime.html index c35c79d23..4f00148d0 100644 --- a/site/releases/4.12/htmlman/instrumented-runtime.html +++ b/site/releases/4.12/htmlman/instrumented-runtime.html @@ -7,12 +7,23 @@ OCaml - Runtime tracing with the instrumented runtime -
- - - - -

Chapter 21Runtime tracing with the instrumented runtime

+ +
+ +
+

+
+ +
+

+
+

Chapter 21Runtime tracing with the instrumented runtime

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/intfc.html b/site/releases/4.12/htmlman/intfc.html index 1c56791be..22dc83336 100644 --- a/site/releases/4.12/htmlman/intfc.html +++ b/site/releases/4.12/htmlman/intfc.html @@ -7,12 +7,23 @@ OCaml - Interfacing C with OCaml -
- - - - -

Chapter 18Interfacing C with OCaml

+ +
+ +
+

+
+ +
+

+
+

Chapter 18Interfacing C with OCaml

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/lablexamples.html b/site/releases/4.12/htmlman/lablexamples.html index 16de634ba..f6f509cda 100644 --- a/site/releases/4.12/htmlman/lablexamples.html +++ b/site/releases/4.12/htmlman/lablexamples.html @@ -7,11 +7,26 @@ OCaml - Labels and variants -
- - - - + +
+ +
+

+
+ +
+

+
+

Chapter 4Labels and variants

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/language.html b/site/releases/4.12/htmlman/language.html index c43bfc35d..006c575ef 100644 --- a/site/releases/4.12/htmlman/language.html +++ b/site/releases/4.12/htmlman/language.html @@ -7,11 +7,23 @@ OCaml - The OCaml language -
- - - - + +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

Foreword

@@ -66,4 +78,4 @@

Chapter 7The OCaml la
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/letrecvalues.html b/site/releases/4.12/htmlman/letrecvalues.html index 8bc1e8458..04a52dcf8 100644 --- a/site/releases/4.12/htmlman/letrecvalues.html +++ b/site/releases/4.12/htmlman/letrecvalues.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/lex.html b/site/releases/4.12/htmlman/lex.html index ae69a38ed..530003634 100644 --- a/site/releases/4.12/htmlman/lex.html +++ b/site/releases/4.12/htmlman/lex.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/lexyacc.html b/site/releases/4.12/htmlman/lexyacc.html index a0fe32bd1..1107d6ce1 100644 --- a/site/releases/4.12/htmlman/lexyacc.html +++ b/site/releases/4.12/htmlman/lexyacc.html @@ -7,12 +7,23 @@ OCaml - Lexer and parser generators (ocamllex, ocamlyacc) -
- - - - -

Chapter 13Lexer and parser generators (ocamllex, ocamlyacc)

+ +
+ +
+

+
+ +
+

+
+

Chapter 13Lexer and parser generators (ocamllex, ocamlyacc)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/libdynlink.html b/site/releases/4.12/htmlman/libdynlink.html index de63fae49..2ff8fc0c6 100644 --- a/site/releases/4.12/htmlman/libdynlink.html +++ b/site/releases/4.12/htmlman/libdynlink.html @@ -7,11 +7,23 @@ OCaml - The dynlink library: dynamic loading and linking of object files -
- - - - +
+ +
+

+
+ + +
+

+

Chapter 28The dynlink library: dynamic loading and linking of object files

The dynlink library supports type-safe dynamic loading and linking of bytecode object files (.cmo and .cma files) in a running @@ -38,4 +50,4 @@

Chapter 28The dynlin
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/libstr.html b/site/releases/4.12/htmlman/libstr.html index f2e998b22..547180e04 100644 --- a/site/releases/4.12/htmlman/libstr.html +++ b/site/releases/4.12/htmlman/libstr.html @@ -7,10 +7,23 @@ OCaml - The str library: regular expressions and string processing -
- - - +
+ +
+

+
+ + +
+

+

Chapter 26The str library: regular expressions and string processing

The str library provides high-level string processing functions, @@ -35,4 +48,4 @@

Chapter 26The str li
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/libthreads.html b/site/releases/4.12/htmlman/libthreads.html index 2e49111d7..aa3e19a5f 100644 --- a/site/releases/4.12/htmlman/libthreads.html +++ b/site/releases/4.12/htmlman/libthreads.html @@ -7,10 +7,23 @@ OCaml - The threads library -
- - - +
+ +
+

+
+ + +
+

+

Chapter 27The threads library

@@ -45,4 +58,4 @@

Chapter 27The thread
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/libunix.html b/site/releases/4.12/htmlman/libunix.html index 0c5b5d17b..247cbe96b 100644 --- a/site/releases/4.12/htmlman/libunix.html +++ b/site/releases/4.12/htmlman/libunix.html @@ -7,12 +7,24 @@ OCaml - The unix library: Unix system calls -
- - - - -

Chapter 25The unix library: Unix system calls

+
+ +
+

+
+ + +
+

+
+

Chapter 25The unix library: Unix system calls

The unix library makes many Unix system calls and system-related library functions available to @@ -83,4 +95,4 @@

Chapter 25The unix l
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/locallyabstract.html b/site/releases/4.12/htmlman/locallyabstract.html index b7281cdfe..f931fa3fb 100644 --- a/site/releases/4.12/htmlman/locallyabstract.html +++ b/site/releases/4.12/htmlman/locallyabstract.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/manual.css b/site/releases/4.12/htmlman/manual.css index 3647d70a9..5247fda0e 100644 --- a/site/releases/4.12/htmlman/manual.css +++ b/site/releases/4.12/htmlman/manual.css @@ -26,7 +26,24 @@ html.smooth-scroll { scroll-behavior: smooth; } - + @media all and (max-width: 14400px) and (min-width: 900px) { + .right-div{ + margin-left:73%; + display:content; + } + .right-div-1{ + width: 25%; + margin-left: 72%; + } + } + @media all and (max-width: 800px) and (min-width: 300px){ + .right-div{ + width: 96%; + } + .right-div-1{ + width: 96%; + } + } @media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } } @@ -46,9 +63,13 @@ html { #sidebar-button { float: right; cursor: context-menu; + background-color: white; display: none; } #sidebar-button span { - font-size: 28px; } + font-size: 22px; + display: block; + width: 100%; + background-color: white;} .content > header, .api > header { margin-bottom: 30px; } @@ -396,6 +417,7 @@ blockquote.quote { text-align: right; list-style: none; overflow-y: hidden; + background-color: white; transition: height 0.3s; } #part-menu li.active a { diff --git a/site/releases/4.12/htmlman/manual024.html b/site/releases/4.12/htmlman/manual024.html index 828964041..3a02d700b 100644 --- a/site/releases/4.12/htmlman/manual024.html +++ b/site/releases/4.12/htmlman/manual024.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/modtypes.html b/site/releases/4.12/htmlman/modtypes.html index fb0f93e21..66045b923 100644 --- a/site/releases/4.12/htmlman/modtypes.html +++ b/site/releases/4.12/htmlman/modtypes.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/modulealias.html b/site/releases/4.12/htmlman/modulealias.html index 8b8f04380..fa035d222 100644 --- a/site/releases/4.12/htmlman/modulealias.html +++ b/site/releases/4.12/htmlman/modulealias.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/moduleexamples.html b/site/releases/4.12/htmlman/moduleexamples.html index aefeae9a9..d8ae28b20 100644 --- a/site/releases/4.12/htmlman/moduleexamples.html +++ b/site/releases/4.12/htmlman/moduleexamples.html @@ -6,12 +6,27 @@ OCaml - The module system - -
- - - - + + + +
+ +
+

+
+ +
+

+

Chapter 2The module system

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/modules.html b/site/releases/4.12/htmlman/modules.html index f4ba7fd42..0037547ab 100644 --- a/site/releases/4.12/htmlman/modules.html +++ b/site/releases/4.12/htmlman/modules.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/moduletypeof.html b/site/releases/4.12/htmlman/moduletypeof.html index 02c862785..3cd91ead5 100644 --- a/site/releases/4.12/htmlman/moduletypeof.html +++ b/site/releases/4.12/htmlman/moduletypeof.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/names.html b/site/releases/4.12/htmlman/names.html index 65ff3c48d..5ff6f7b37 100644 --- a/site/releases/4.12/htmlman/names.html +++ b/site/releases/4.12/htmlman/names.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/native.html b/site/releases/4.12/htmlman/native.html index f3fd10bd5..32b520b94 100644 --- a/site/releases/4.12/htmlman/native.html +++ b/site/releases/4.12/htmlman/native.html @@ -7,12 +7,23 @@ OCaml - Native-code compilation (ocamlopt) -
- - - - -

Chapter 12Native-code compilation (ocamlopt)

+ +
+ +
+

+
+ +
+

+
+

Chapter 12Native-code compilation (ocamlopt)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/objectexamples.html b/site/releases/4.12/htmlman/objectexamples.html index 541c97208..031acdb0f 100644 --- a/site/releases/4.12/htmlman/objectexamples.html +++ b/site/releases/4.12/htmlman/objectexamples.html @@ -5,13 +5,27 @@ -OCaml - Objects in OCaml - -
- - - - + + + +
+ +
+

+
+ +
+

+

Chapter 3Objects in OCaml

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/ocamldoc.html b/site/releases/4.12/htmlman/ocamldoc.html index 26f91d258..affd12e81 100644 --- a/site/releases/4.12/htmlman/ocamldoc.html +++ b/site/releases/4.12/htmlman/ocamldoc.html @@ -7,12 +7,23 @@ OCaml - The documentation generator (ocamldoc) -
- - - - -

Chapter 15The documentation generator (ocamldoc)

+ +
+ +
+

+
+ +
+

+
+

Chapter 15The documentation generator (ocamldoc)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/old.html b/site/releases/4.12/htmlman/old.html index 733c18297..cdd49b000 100644 --- a/site/releases/4.12/htmlman/old.html +++ b/site/releases/4.12/htmlman/old.html @@ -7,11 +7,22 @@ OCaml - Recently removed or moved libraries (Graphics, Bigarray, Num, LablTk) -
- - - - +
+ +
+

+
+ +
+

+

Chapter 29Recently removed or moved libraries (Graphics, Bigarray, Num, LablTk)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/overridingopen.html b/site/releases/4.12/htmlman/overridingopen.html index 90b2bf51c..912178410 100644 --- a/site/releases/4.12/htmlman/overridingopen.html +++ b/site/releases/4.12/htmlman/overridingopen.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/parsing.html b/site/releases/4.12/htmlman/parsing.html index 234f55e36..06df28d31 100644 --- a/site/releases/4.12/htmlman/parsing.html +++ b/site/releases/4.12/htmlman/parsing.html @@ -7,11 +7,23 @@ OCaml - The compiler front-end -
- - - - +
+ +
+

+
+ + +
+

+

Chapter 24The compiler front-end

This chapter describes the OCaml front-end, which declares the abstract @@ -46,4 +58,4 @@

Chapter 24The compil
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/patterns.html b/site/releases/4.12/htmlman/patterns.html index 4870d5fa6..adcc90c5a 100644 --- a/site/releases/4.12/htmlman/patterns.html +++ b/site/releases/4.12/htmlman/patterns.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/polymorphism.html b/site/releases/4.12/htmlman/polymorphism.html index dbc12202e..813e9ee99 100644 --- a/site/releases/4.12/htmlman/polymorphism.html +++ b/site/releases/4.12/htmlman/polymorphism.html @@ -7,12 +7,26 @@ OCaml - Polymorphism and its limitations -
- - - - -

Chapter 5Polymorphism and its limitations

+ +
+ +
+

+
+ +
+

+
+

Chapter 5Polymorphism and its limitations

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/privatetypes.html b/site/releases/4.12/htmlman/privatetypes.html index 73b3d2b93..c80edee0f 100644 --- a/site/releases/4.12/htmlman/privatetypes.html +++ b/site/releases/4.12/htmlman/privatetypes.html @@ -7,11 +7,22 @@ OCaml - Language extensions -
- - - - +
+ +
+

+
+ +
+

+

Chapter 8Language extensions

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/profil.html b/site/releases/4.12/htmlman/profil.html index 5ed50ce10..bf015a623 100644 --- a/site/releases/4.12/htmlman/profil.html +++ b/site/releases/4.12/htmlman/profil.html @@ -7,12 +7,22 @@ OCaml - Profiling (ocamlprof) -
- - - - -

Chapter 17Profiling (ocamlprof)

+ +
+ +
+

+
+ +
+

+

Chapter 17Profiling (ocamlprof)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/runtime.html b/site/releases/4.12/htmlman/runtime.html index 71a4cc0a9..848f8f296 100644 --- a/site/releases/4.12/htmlman/runtime.html +++ b/site/releases/4.12/htmlman/runtime.html @@ -7,12 +7,23 @@ OCaml - The runtime system (ocamlrun) -
- - - - -

Chapter 11The runtime system (ocamlrun)

+ +
+ +
+

+
+ +
+

+
+

Chapter 11The runtime system (ocamlrun)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/signaturesubstitution.html b/site/releases/4.12/htmlman/signaturesubstitution.html index 9e0474084..3bdaf5bc1 100644 --- a/site/releases/4.12/htmlman/signaturesubstitution.html +++ b/site/releases/4.12/htmlman/signaturesubstitution.html @@ -7,12 +7,23 @@ OCaml - Language extensions -
- - - - -

Chapter 8Language extensions

diff --git a/site/releases/4.12/htmlman/stdlib.html b/site/releases/4.12/htmlman/stdlib.html index 2f0dd76d3..18ef20d11 100644 --- a/site/releases/4.12/htmlman/stdlib.html +++ b/site/releases/4.12/htmlman/stdlib.html @@ -7,12 +7,25 @@ OCaml - The standard library -
- - - - -

Chapter 23The standard library

+ +
+ +
+

+
+ + +
+

+
+

Chapter 23The standard library

This chapter describes the functions provided by the OCaml standard library. The modules from the standard library are automatically linked with the user’s object code files by the ocamlc @@ -84,4 +97,4 @@

Chapter 23The standa
Copyright © 2021 Institut National de -Recherche en Informatique et en Automatique

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/toplevel.html b/site/releases/4.12/htmlman/toplevel.html index 1a5919831..dbd54eee6 100644 --- a/site/releases/4.12/htmlman/toplevel.html +++ b/site/releases/4.12/htmlman/toplevel.html @@ -7,12 +7,22 @@ OCaml - The toplevel system or REPL (ocaml) -
- - - - -

Chapter 10The toplevel system or REPL (ocaml)

+ +
+ +
+

+
+ +
+

+

Chapter 10The toplevel system or REPL (ocaml)

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/typedecl.html b/site/releases/4.12/htmlman/typedecl.html index 38f3abd2e..af908d2c6 100644 --- a/site/releases/4.12/htmlman/typedecl.html +++ b/site/releases/4.12/htmlman/typedecl.html @@ -7,12 +7,23 @@ OCaml - The OCaml language -
- - - - -

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique diff --git a/site/releases/4.12/htmlman/types.html b/site/releases/4.12/htmlman/types.html index 7a64e8c78..2293ba445 100644 --- a/site/releases/4.12/htmlman/types.html +++ b/site/releases/4.12/htmlman/types.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique
diff --git a/site/releases/4.12/htmlman/values.html b/site/releases/4.12/htmlman/values.html index b91d9ffe1..a0330ecda 100644 --- a/site/releases/4.12/htmlman/values.html +++ b/site/releases/4.12/htmlman/values.html @@ -7,11 +7,22 @@ OCaml - The OCaml language -
- - - - +
+ +
+

+
+ +
+

+

Chapter 7The OCaml language

\ No newline at end of file +Recherche en Informatique et en Automatique