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.