Module Inout.Derefs

val pretty_external : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.kernel_function -> unit
val compute_external : Frama_c_kernel.Cil_types.kernel_function -> unit