¶std::optional<region<3>> get_await_region(
    const abstract_command& cmd)

Declared at: src/recorders.cc:78

Parameters

const abstract_command& cmd

---