sig
  val compute_and_return : Kernel_function.t -> Function_Froms.t
  val compute : Kernel_function.t -> unit
end