Server.Kernel_project
Project Services
module ProjectInfo : Data.S with type t = Frama_c_kernel.Project.t
module ProjectRequest : Request.Input with type t = Frama_c_kernel.Project.t * string * Data.json