Adapt goblint.constraint documentation

Author: sim642

src/constraint/constraint.mld

@@ -16,5 +16,3 @@
     ppx_deriving_hash
     ppx_deriving_yojson))
  (instrumentation (backend bisect_ppx)))
-
-(documentation)

src/constraint/dune

@@ -1,4 +1,15 @@
+(** (Side-effecting) constraint systems. *)
+
+(** {1 Specification} *)
+
 module ConstrSys = ConstrSys
 module SolverTypes = SolverTypes
-module VarQuery = VarQuery
+
+(** {2 Utilities} *)
+
 module Translators = Translators
+
+
+(** {1 Results} *)
+
+module VarQuery = VarQuery

src/constraint/goblint_constraint.ml

@@ -20,7 +20,7 @@ This {{!page-domain}unwrapped library} contains various domain modules extracted
 This {{!page-cdomain_value}unwrapped library} contains various value domain modules extracted from {!Goblint_lib}.
 
 {2 Library goblint.constraint}
-This {{!page-constraint}unwrapped library} contains various constraint system modules extracted from {!Goblint_lib}.
+{!modules:Goblint_constraint}
 
 {2 Library goblint.solver}
 {!modules:Goblint_solver}