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