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