module Project: functor (Info : Signature.NAME_DPDS) -> REF_OUTPUT with type data = Project.t
functor (
Info
:
Signature.NAME_DPDS
) ->
REF_OUTPUT
with type data = Project.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