module Proxy:sig
..end
type
t
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
val get : t -> State.t