diff options
Diffstat (limited to 'src/config_tree.mli')
| -rw-r--r-- | src/config_tree.mli | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/config_tree.mli b/src/config_tree.mli index ac9c5a9..2c463cb 100644 --- a/src/config_tree.mli +++ b/src/config_tree.mli @@ -6,6 +6,8 @@ exception Node_has_no_value type config_node_data = { values : string list; comment : string option; + inactive : bool; + ephemeral : bool; } type t = config_node_data Vytree.t @@ -25,3 +27,11 @@ val get_value : t -> string list -> string val set_comment : t -> string list -> string option -> t val get_comment : t -> string list -> string option + +val set_inactive : t -> string list -> bool -> t + +val is_inactive : t -> string list -> bool + +val set_ephemeral : t -> string list -> bool -> t + +val is_ephemeral : t -> string list -> bool |