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.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.