module FunctionWise: sig .. end
sig
end
val call_stack : Cil_types.kernel_function Stdlib.Stack.t
Cil_types.kernel_function Stdlib.Stack.t
val compute_internal_using_cfg : Kernel_function.t -> Operational_inputs.t
Kernel_function.t -> Operational_inputs.t