Continuous integral range predicate

[Nordlöw via Digitalmars-d-learn]

Is there a function in Phobos to check if a range of integral 
elements is adjacent, that is

     x[i+1] == x[i] + 1

where x[i] is the i:th element of the range.