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