sig
type t = {
dumpIfDeadlocked : bool;
initial : float option;
maxConsecutiveClash : int;
outputFileName : string option;
plotPeriod : Counter.period option;
seed : int option;
traceFileName : string option;
deltaActivitiesFileName : string option;
}
val parse :
((string * Locality.t) * (string * Locality.t) list) list ->
Configuration.t * Counter.progressBar * (bool * bool * bool) * string *
string option
val print : Format.formatter -> Configuration.t -> unit
end