Kappa_terms.Configurationtype t = {progressSize : int;progressChar : char;dumpIfDeadlocked : bool;initial : float option;maxConsecutiveClash : int;outputFileName : string option;plotPeriod : period option;seed : int option;traceFileName : string option;deltaActivitiesFileName : string option;}val empty : tval parse :
((string * Kappa_data_structures.Loc.t)
* (string * Kappa_data_structures.Loc.t) list)
list ->
t * (bool * bool * bool) * string * string optionval print : Stdlib.Format.formatter -> t -> unit