From 24861856805fde2426b763ac50600d1df75b17aa Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 19 Dec 2024 10:11:00 +0100
Subject: [PATCH] Doc comment for `man`

---
 src/framework/analyses.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/framework/analyses.ml b/src/framework/analyses.ml
index 985f013ede..5890fef402 100644
--- 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