Module Server.Kernel_properties

Kernel Property Status

val reload : unit -> unit

Trigger a full reload for the table of property status.