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