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