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