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