trunk/driver/cduce_config.ml

let features = ref []

let init_all () = List.iter (fun (_,d,f) -> f()) (List.rev !features)
let register n d f = features := (n,d,f) :: !features
let descrs () = List.rev_map (fun (n,d,_) -> (n,d)) !features
let inhibit n = features := List.filter (fun (n',_,_) -> n <> n') !features

1	let features = ref []
2
3	let init_all () = List.iter (fun (_,d,f) -> f()) (List.rev !features)
4	let register n d f = features := (n,d,f) :: !features
5	let descrs () = List.rev_map (fun (n,d,_) -> (n,d)) !features
6	let inhibit n = features := List.filter (fun (n',_,_) -> n <> n') !features
7