Module Operational_inputs.FunctionWise

module FunctionWise: sig .. end

val call_stack : Cil_types.kernel_function Stdlib.Stack.t
val compute_internal_using_cfg : Kernel_function.t -> Operational_inputs.t
val compute_internal_using_cfg : Kernel_function.t -> Operational_inputs.t