Doc comment for man

goblint · Dec 19, 2024 · 2486185 · 2486185
1 parent aa87b3e
commit 2486185
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/framework/analyses.ml b/src/framework/analyses.ml
@@ -142,7 +142,8 @@ struct
     | `Lifted x -> LD.printXml f x
 end
 
-
+(** Man(ager) is passed to transfer functions and offers access to various facilities, e.g., to access the local state, the context,
+    read values from globals, side-effect values to globals and trigger events. *)
 type ('d,'g,'c,'v) man =
   { ask      : 'a. 'a Queries.t -> 'a Queries.result (* Inlined Queries.ask *)
   ; emit     : Events.t -> unit