Alias extOf

Convenience alias

alias extOf ;