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.