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