Cduce_lib.Cduce_config
val init_all : unit -> unit
val register : ?priority:int -> string -> string -> (unit -> unit) -> unit
val descrs : unit -> (string * string) list
val inhibit : string -> unit