Up
–
frama-c-server
»
Server
»
Data
» Jint
Module
Data.Jint
type
t
= int
val
jtype :
Package.jtype
val
of_json :
json
->
t
val
to_json :
t
->
json