Server.Kernel_project
Project Services
module ProjectInfo : Data.S with type t = Frama_c_kernel.Project.t