Server.Kernel_properties
Kernel Property Status
val register_propkind :
name:string ->
kind:[ `Clause | `Loop | `Other ] ->
?label:Frama_c_kernel.Markdown.text ->
descr:Frama_c_kernel.Markdown.text ->
unit ->
unit
Documentation of ACSL extensions for propkind
server data.