ESP32 Micropython HCSR04超声波传感器问题

Question

所以我试图将带有micropython的HCSR04与我的ESP32直接连接以完成我的项目，并且我总是收到Traceback错误，这是代码：

import time
import machine
import utime

TRIG = machine.Pin(4, machine.Pin.OUT)
TRIG.off()
utime.sleep_us(2)
TRIG.on()
utime.sleep_us(10)
TRIG.off()
ECHO = machine.Pin(5, machine.Pin.IN)
while ECHO.value() == 0:
    pass
t1 = utime.ticks_us()
while ECHO.value() == 1:
    pass
t2 = utime.ticks_us()
cm = (t2 - t1) / 58.0
print(cm)
utime.sleep(2)

我在以下时间出现错误：虽然ECHO.value（）== 0：我不知道我在做什么错，我也试图将HCSR04与该模块https://github.com/rsc1975/micropython-hcsr04连接，但它也给了我HCSR04未定义的错误