Kernel_project.ProjectRequest
type t = Frama_c_kernel.Project.t * string * Data.json
val jtype : Package.jtype
val of_json : Request.json -> t