blob: 0180549d017ab2e8703f1613a563173c90cff8be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
type cfg_op =
| CfgSet of string list * string option * Config_tree.value_behaviour
| CfgDelete of string list * string option
type world = {
mutable running_config: Config_tree.t;
reference_tree: Reference_tree.t;
vyconf_config: Vyconf_config.t;
dirs: Directories.t
}
type session_data = {
proposed_config : Config_tree.t;
modified: bool;
changeset: cfg_op list
}
val make : world -> session_data
val set : world -> session_data -> string list -> session_data
val delete : world -> session_data -> string list -> session_data
|
