module type Option_ref =sig..end
Output signature of Option_ref. Note that get will raise Not_found
if the stored data is None. Use get_option if you want to have
access to the option.
include State_builder.Ref
val memo : ?change:(data -> data) -> (unit -> data) -> dataMemoization. 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