Module Property_navigator.Rte

type status_accessor = string * ( Frama_c_kernel.Cil_types.kernel_function -> bool -> unit ) * ( Frama_c_kernel.Cil_types.kernel_function -> bool )
val register_get_all_status : ( unit -> status_accessor list ) -> unit