Module Server_api.Mthread_requests

Requests registered to the Frama-C server; nothing is exported.