Module Kernel_properties

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.