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