module Derefs: sig .. end
sig
end
val pretty_external : Format.formatter -> Cil_types.kernel_function -> unit
Format.formatter -> Cil_types.kernel_function -> unit
val compute_external : Cil_types.kernel_function -> unit
Cil_types.kernel_function -> unit