cduce_config.mli 234 Bytes
Newer Older
1 2 3 4 5 6 7
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) *)