Config (p.soteria.0.2.3.doc.soteria.Soteria.Config)

type t = {

logs : Logs.Config.cli;
stats : Stats.Config.t;
terminal : Soteria.Terminal.Config.t;
solver : Soteria.Solvers.Config.t;
profiling : Profiling.Config.t;

}

An object that captures configuration from all submodules of Soteria.

val make : 
  logs:Logs.Config.cli ->
  stats:Stats.Config.t ->
  terminal:Soteria.Terminal.Config.t ->
  solver:Soteria.Solvers.Config.t ->
  profiling:Profiling.Config.t ->
  t

val cmdliner_term : unit -> t Cmdliner.Term.t

val set_and_lock : t -> unit