blob: 90d4fc7d227542aa1a2d1c2c0ff938a987884e9e (
plain)
1
2
3
4
5
6
7
8
|
Set Implicit Arguments.
(* Use of implicit arguments was lost in multiple variable declarations *)
Variables
(A1 : Type)
(A2 : forall (x1 : A1), Type)
(A3 : forall (x1 : A1) (x2 : A2 x1), Type)
(A4 : forall (x1 : A1) (x2 : A2 x1) (x3 : A3 x2), Type).
|
