sig
  val self : Project.Computation.t
  val get_state : Db_types.kernel_function -> Project.Computation.t
end