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