sig   type configData =       ConfInt of int     | ConfBool of bool     | ConfFloat of float     | ConfString of string     | ConfList of Cilconfig.configData list   val loadConfiguration : string -> unit   val saveConfiguration : string -> unit   val clearConfiguration : unit -> unit   val setConfiguration : string -> Cilconfig.configData -> unit   val findConfiguration : string -> Cilconfig.configData   val findConfigurationInt : string -> int   val useConfigurationInt : string -> (int -> unit) -> unit   val findConfigurationFloat : string -> float   val useConfigurationFloat : string -> (float -> unit) -> unit   val findConfigurationBool : string -> bool   val useConfigurationBool : string -> (bool -> unit) -> unit   val findConfigurationString : string -> string   val useConfigurationString : string -> (string -> unit) -> unit   val findConfigurationList : string -> Cilconfig.configData list   val useConfigurationList :     string -> (Cilconfig.configData list -> unit) -> unit end