sig
val
print_fct_stmts :
Format
.formatter
->
Db
.
Slicing
.
Project
.t *
Kernel_function
.t
->
unit
end