No such internal type exists. The range interface is purely a library feature. The problem is that D has no way to include a type constraint as a part of the function type, at present. Something like out template contracts would do it probably.

java can't express its types in its own syntax either. nor scala, nor sharp.

ceylon could, but they are barely readable anyway.