Module State_builder.Proxy


module Proxy: sig .. end
State proxy. A proxy is a state which does not correspond to any useful mutable value. Its goal is only to reduce the number of dependencies between groups of states.
Since Carbon-20101201

type t 
Proxy type.

type kind =
| Backward (*All states in the proxy depend on it.*)
| Forward (*The proxy depends on all states inside.*)
| Both (*States in the proxy and the proxy itself are mutually dependent.*)
val create : string ->
kind ->
State.standard_kind -> State.t list -> t
create s k sk l creates a new proxy with the given name, kinds and states inside it.
val extend : State.t list -> t -> unit
Add some states in the given proxy.
val get : t -> State.t
Getting the state corresponding to a proxy.