Context Navigation

ClassSystem

v3	v4
18	18	}}}
19	19
20		Region variables can be quantified with `forall` ~~much~~ like type variables. If a region variable in the return type of a function is quantified it means the region is ''fresh'', ie the data was allocated by the function itself.
	20	Region variables can be quantified with `forall` just like type variables. If a region variable in the return type of a function is quantified it means the region is ''fresh'', ie the data was allocated by the function itself.
21	21
22	22	Notice that in the type of `succ`, both `%r1` and `%r2` are quantified, this means that `succ` accepts data from any region and returns a freshly allocated `Int`.