Make.1-State
type t
The type of values recording options for the current run.
val time_limit : t -> float
The time limit for one original statement (in seconds).
val size_limit : t -> float
The size limit for one original statement (in octets).