package frama-c

  1. Overview
  2. Docs

Source file server_api.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
(* generated by dune *)

(** @canonical Server_api.Analysis_requests *)
module Analysis_requests = Server_api__Analysis_requests

(** @canonical Server_api.Ast_requests *)
module Ast_requests = Server_api__Ast_requests

(** @canonical Server_api.Callstack_requests *)
module Callstack_requests = Server_api__Callstack_requests

(** @canonical Server_api.Mthread_requests *)
module Mthread_requests = Server_api__Mthread_requests

(** @canonical Server_api.Results *)
module Results = Server_api__Results

(** @canonical Server_api.Stats_requests *)
module Stats_requests = Server_api__Stats_requests

(** @canonical Server_api.Taint_requests *)
module Taint_requests = Server_api__Taint_requests

(** @canonical Server_api.Update *)
module Update = Server_api__Update

(** @canonical Server_api.Value_requests *)
module Value_requests = Server_api__Value_requests