module Kernel_properties:sig
..end
Kernel Property Status
val register_propkind : name:string ->
kind:[ `Clause | `Loop | `Other ] ->
?label:Markdown.text -> descr:Markdown.text -> unit -> unit
Documentation of ACSL extensions for propkind
server data.
val reload : unit -> unit
Trigger a full reload for the table of property status.