fstarpu_mod::fstarpu_is_paused Interface Reference

---

The documentation for this interface was generated from the following file:

• fstarpu_mod.f90