Parameter Make.1-State

Common interface for the state.

include State_intf.Common
type t

The type of state

exception Error of t

Convenient exception.

val warn : ?loc:Dolmen.Std.Loc.full -> t -> 'a Report.Warning.t -> 'a -> t

Emit a warning

val error : ?loc:Dolmen.Std.Loc.full -> t -> 'a Report.Error.t -> 'a -> t

Emit an error.

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).