Clarify comment

lukemaurer · Nov 27, 2024 · 423a883 · 423a883
1 parent aaea6ee
commit 423a883
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lambda/lambda.mli b/lambda/lambda.mli
@@ -857,7 +857,9 @@ type program =
 *)
 
 (* Info for a compilation unit that implements a parameter (that is, was
-   compiled with [-as-argument-for]) *)
+   compiled with [-as-argument-for]). Note that if the CU is itself
+   parameterised, this information (in particular [arg_block_idx]) describes
+   instances rather than the base CU gs. *)
 type arg_descr =
   { arg_param: Global_module.Name.t;    (* The parameter implemented (the [P] in
                                            [-as-argument-for P]) *)