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