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