module type Option_ref =Output signature ofsig
..end
OptionRef
.include State_builder.Ref
val memo : ?change:(data -> data) -> (unit -> data) -> data
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