trunk/driver/cduce_config.mli

val init_all: unit -> unit
val register: string -> string -> (unit -> unit) -> unit
val descrs: unit -> (string * string) list
val inhibit: string -> unit


(* Last registered features are initialized last (and thus take priority) *)
1	val init_all: unit -> unit
2	val register: string -> string -> (unit -> unit) -> unit
3	val descrs: unit -> (string * string) list
4	val inhibit: string -> unit
5
6
7	(* Last registered features are initialized last (and thus take priority) *)