Module State_builder.Proxy

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.

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.