Module Properties_status.RTE_Status_Proxy


module RTE_Status_Proxy: sig .. end
Since Boron-20100401

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