Functor Computation.Ref


module Ref: 
functor (Data : REF_INPUT) ->
functor (Info : Signature.NAME_DPDS) -> REF_OUTPUT with type data = Data.t
Consult the Plugin Development Guide for additional details.
Parameters:
Data : REF_INPUT
Info : Signature.NAME_DPDS

include Project.Computation.OUTPUT
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.