Sebastien Mondet committed ac6cf76

doc: improve the `` file

Comments (0)

Files changed (1)

 We have:
 - `BASIC_CHARACTER`: characters of any length.
-- `BASIC_STRING`: immutable strings of (potentially abstract) characters.
+- `NATIVE_CONVERSIONS`: functions to transform from/to native OCaml
+  strings.
+- `BASIC_STRING`: immutable strings of (potentially abstract)
+  characters:
+    - includes `NATIVE_CONVERSIONS`,
+    - contains a functor to provide a thread agnostic `output` function:
+    `Make_output`: `OUTPUT_MODEL` → `sig val output: ... end`.
 - `UNSAFELY_MUTABLE`: mutability of some string implementations
   (“unsafe” meaning that they break immutability
+- `MINIMALISTIC_MUTABLE_STRING`: abstract mutable string used as
+  argument of the `Of_module` functor.
 The Implementations
 `UNSAFELY_MUTABLE` with OCaml's `string` type (and hence
-### Lists
+### Lists Of Arbitrary Characters
 `List_of` is a functor: `BASIC_CHARACTER` → `BASIC_STRING`
+### Build From Basic Mutable Data-structures
+The functor `Of_mutable` uses an implementation of
 ### Integer UTF-8 Characters
 The `Int_utf8_character` module implements `BASIC_CHARACTER` with