Module Data_for_aorai.Reject_state


module Reject_state: State_builder.Option_ref(Aorai_state)(sig
val name : string
val dependencies : State.t list
val kind : [> `Internal ]
end)

include State_builder.Ref
val memo : ?change:(data -> data) -> (unit -> data) -> data
Memoization. Compute on need the stored value. If the data is already computed (i.e. is not None), it is possible to change with change.
val map : (data -> data) -> data option
val may : (data -> unit) -> unit
val get_option : unit -> data option
Since Beryllium-20090901