Module std 

Structs

SleepAsync

A simple asynchronous input handler that sleeps until the next state transition of the model.

Functions

sleep

Closure for RT simulation on targets with std. It sleeps until the next state transition.

wait_event

It computes the next wall-clock time corresponding to the next state transition of the model.