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.