Up
–
frama-c-server
»
Server
»
Request
» Output
Module type
Request.Output
type
t
val
jtype :
Package.jtype
val
to_json :
t
->
json