sig
val
print_fct_stmts :
Stdlib
.
Format
.formatter
->
Cil_types
.kernel_function
->
unit
end