diff options
Diffstat (limited to 'src/config_tree.mli')
| -rw-r--r-- | src/config_tree.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/config_tree.mli b/src/config_tree.mli index 730b32f..cf94af7 100644 --- a/src/config_tree.mli +++ b/src/config_tree.mli @@ -1,4 +1,5 @@ type value_behaviour = AddValue | ReplaceValue +type command = Set | Delete exception Duplicate_value exception Node_has_no_value @@ -33,7 +34,7 @@ val set_tag : t -> string list -> bool -> t val is_tag : t -> string list -> bool -val render_commands : t -> string list -> string +val render_commands : ?op:command -> t -> string list -> string val render_config : t -> string |