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