sig
type configData =
ConfInt of int
| ConfBool of bool
| ConfFloat of float
| ConfString of string
| ConfList of Cilconfig.configData list
val loadConfiguration : Datatype.Filepath.t -> unit
val saveConfiguration : Datatype.Filepath.t -> 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