sig
  val get :
    (Db_types.kernel_function -> Kernel_function.Set.t) Pervasives.ref
end