- -- In comments we will use the notation alpha[flat = ty]
- -- to represent a flattening skolem variable alpha
- -- identified with type ty.
-
+ -- In comments we will use the notation alpha[flat = ty]
+ -- to represent a flattening skolem variable alpha
+ -- identified with type ty.
+