1 files changed, 3 insertions, 0 deletions
diff --git a/src/Pure.ml b/src/Pure.ml
index 90f6dc26..fc6cbad1 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -496,5 +496,8 @@ type fun_def = {
        *)
   signature : fun_sig;
   inputs : var list;
+  inputs_lvs : typed_lvalue list;
+      (** The inputs seen as lvalues. Allows to make transformations, for example
+          to replace unused variables by `_` *)
   body : expression;
 }