Parallelism: Docs for utils

Author: arkocal

src/goblint_lib.ml

@@ -454,6 +454,17 @@ module PrivPrecCompareUtil = PrivPrecCompareUtil
 module RelationPrecCompareUtil = RelationPrecCompareUtil
 module ApronPrecCompareUtil = ApronPrecCompareUtil
 
+(** {2 Solver parallelism}
+
+    These modules provide utilities required for parallelizing the solver,
+    as well as backwards compatibility with OCaml 4 for the non-parallelized solvers.
+*)
+module DomainsafeLazy = DomainsafeLazy
+module ThreadPool = ThreadPool
+module GobMutex = GobMutex
+
+(** {2 Debugging} *)
+
 (** {1 Library extensions}
 
     OCaml library extensions which are completely independent of Goblint.