DF
Size: a a a
DF
KR
KR
KR
A
DF
DF
VS
VS
VS
VS
AZ
VarArgs : List Type -> Type
VarArgs [] = ()
VarArgs (x :: xs) = (x, VarArgs xs)
*.\chapter6_part2> VarArgs [String, Int, Int]
(String, Int, Int, ()) : Type
AZ
G
VarArgs : List Type -> Type
VarArgs [] = ()
VarArgs (x :: xs) = (x, VarArgs xs)
*.\chapter6_part2> VarArgs [String, Int, Int]
(String, Int, Int, ()) : Type
G
AZ
AZ
G
AZ