sig
  val get : Db_types.kernel_function -> bool
  val set : Db_types.kernel_function -> bool -> unit
  val get_state : Db_types.kernel_function -> Project.Computation.t
  val self : Project.Computation.t
end