But I can't find anything in ESP8266 Basic to interrogate a running timer with say millisecond (or better?) resolution. Is there something like a running uptime we can request programmatically?
And example of use might be to trigger a pulse and await a return pulse and measure the elapsed time. Something like an ultrasonic "ping" delay. This is so common there must already be something like a GetTicks() function that I missed, right?