Module Aorai_option.Deterministic

module Deterministic: State_builder.Ref  with type data = bool

true if the user declares that its ya automaton is deterministic.


include State_builder.S
type data 

Type of the referenced value.

val set : data -> unit

Change the referenced value.

val get : unit -> data

Get the referenced value.

val clear : unit -> unit

Reset the reference to its default value.