module Ref: functor (Data : REF_INPUT) -> functor (Info : Signature.NAME_DPDS) -> REF_OUTPUT with type data = Data.t
functor (
Data
:
REF_INPUT
) ->
Info
Signature.NAME_DPDS
REF_OUTPUT
with type data = Data.t
include Project.Computation.OUTPUT
type data
val set : data -> unit
data -> unit
val get : unit -> data
unit -> data
val clear : unit -> unit
unit -> unit