module Deterministic:State_builder.Ref
(
Datatype.Bool
)
(
sig
end
)
true
if the user declares that its ya automaton is deterministic.include State_builder.S
type
data
val set : data -> unit
val get : unit -> data
val clear : unit -> unit