module Kernel_properties: sig .. end
sig
end
val register_propkind : name:string -> kind:[ `Clause | `Loop | `Other ] -> ?label:Markdown.text -> descr:Markdown.text -> unit -> unit
name:string -> kind:[ `Clause | `Loop | `Other ] -> ?label:Markdown.text -> descr:Markdown.text -> unit -> unit
propkind
val reload : unit -> unit
unit -> unit