Hello, I would like to know the way to use event_detected() function and wait_for_edge() function Thanks in advance.