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