D_state_option.SatSolverThe Sat solver used. When set, updates the SatSolverModule defined below.
include Accessor with type t = Util.sat_solvertype t = Util.sat_solverThe data saved in the state.
val get : D_loop.Typer.state -> tReturns the option stored in the state. If it has not been registered, fetches the default option in the module Options.
val set : t -> D_loop.Typer.state -> D_loop.Typer.stateSets the option on the dolmen state.
val clear : D_loop.Typer.state -> D_loop.Typer.stateResets the option to its default value in Options.