fix parameter name in general example description

robstoll · web-flow · commit d0cdc5d79334 · 2018-03-25T19:42:23.000+02:00
I suppose it should be `x1` and `xN` instead of `e1` and `eN` but maybe I misunderstand something because I don't see why only an upper approximation is possible.
diff --git a/docs/docs/reference/dependent-function-types.md b/docs/docs/reference/dependent-function-types.md
@@ -48,6 +48,6 @@ translates to
     }
 
 where the result type parameter `R'` is an upper approximation of the
-true result type `R` that does not mention any of the parameters `e1, ..., eN`.
+true result type `R` that does not mention any of the parameters `x1, ..., xN`.
 
 

Original file line number	Diff line number	Diff line change
`@@ -48,6 +48,6 @@ translates to`
`48`	`48`	`}`
`49`	`49`
`50`	`50`	where the result type parameter `R'` is an upper approximation of the
`51`		-true result type `R` that does not mention any of the parameters `e1, ..., eN`.
	`51`	+true result type `R` that does not mention any of the parameters `x1, ..., xN`.
`52`	`52`
`53`	`53`