[Eva] puts the documentations in the .mli

      which was already present...

src/plugins/value/eval.ml

@@ -240,9 +240,6 @@ type ('loc, 'value) call = {
   arguments: ('loc, 'value) argument list;
   rest: (exp * ('loc, 'value) assigned) list;
   return: varinfo option;
-  (** Special variable (same for all calls) that makes the
-      link between the result of the function and the assignment in
-      the caller. *)
   recursive: bool;
 }
 

src/plugins/value/eval.mli

@@ -214,7 +214,9 @@ type ('loc, 'value) call = {
   arguments: ('loc, 'value) argument list;    (** The arguments of the call. *)
   rest: (exp * ('loc, 'value) assigned) list; (** Extra-arguments. *)
   return: varinfo option;                     (** Fake varinfo to store the
-                                                  return value of the call. *)
+                                                  return value of the call.
+                                                  Same varinfo for every 
+                                                  call to a function. *)
   recursive: bool;
 }