D_state_option.Steps
Option for setting the max number of steps. Interfaces with the toplevel Steps module. The set
function may raise Invalid_arg from the Steps.set_steps_bound call if the new option value is lower than the current number of steps.
include Accessor with type t = int
val get : D_loop.Typer.state -> t
Returns 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.state
Sets the option on the dolmen state.
val clear : D_loop.Typer.state -> D_loop.Typer.state
Resets the option to its default value in Options.