Module Configuration

module Configuration: sig .. end

type t = {
   dumpIfDeadlocked : bool;
   initial : float option;
   maxConsecutiveClash : int;
   newSyntax : bool;
   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 ->
t * Counter.progressBar * (bool * bool * bool) * string *
string option
val print : Format.formatter -> t -> unit