sig
  val annotate_kf : (Db_types.kernel_function -> unit) Pervasives.ref
  val self : Project.Computation.t Pervasives.ref
end