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