Module Server_api.Stats_requests

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