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