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.


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.