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