Module Properties_status.RTE_Signed_Generated


module RTE_Signed_Generated: Generated 
Since Boron-20100401

val get : Db_types.kernel_function -> bool
Since Boron-20100401
val set : Db_types.kernel_function -> bool -> unit
Since Boron-20100401
val get_state : Db_types.kernel_function -> Project.Computation.t
Since Boron-20100401
val self : Project.Computation.t
Since Boron-20100401