Up
–
frama-c
»
Frama_c_kernel
»
Parameter_builder
»
Make
»
_
» L
Module
_.L
val
abort :
(
'a
,
'b
)
Log.pretty_aborter
val
warning :
'a
Log.pretty_printer