functor (To_Use : To_Use) -> sig val compute_and_return : Kernel_function.t -> Function_Froms.t val compute : Kernel_function.t -> unit end