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