Module Wprop.WP

module WP: State_builder.Ref(Datatype.Unit)(sig
val name : string
val dependencies : State.t list
val default : unit -> unit
end)

include State_builder.S

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.