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