Up
–
frama-c-server
»
Server
» Kernel_main
Module
Server.Kernel_main
Kernel Services
module
LogEvent
:
Data.S
with
type
t
=
Frama_c_kernel.Log.event