How to access the parameter list of a super type

[jandehaan]

@Philip_Stuckey

struct X{F,Y, Z} <: DEF{Tuple{F, Y, Z} } end

The internal structure of type X is somewhat convoluted, but you can retrieve the individual type parameters as follows (Julia v0.6.2):

julia> X.var
F

julia> X.body.var
Y

julia> X.body.body.var
Z