On Saturday, 19 September 2015 at 12:50:51 UTC, Pierre wrote: > Hi everybody, > > I would like to extract key and value type from AA. > You can also do it with built-in syntax: template AATypes(AA : K[V], K, V) { alias Key = K; alias Value = V; }