Module Server_api.Value_requests

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