Up
–
frama-c-server
»
Server
»
Data
»
Jpair
» 1-A
Parameter
Jpair.1-A
type
t
val
jtype :
Package.jtype
val
of_json :
json
->
t
val
to_json :
t
->
json