diff options
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli index b2942a3..9c583df 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -83,4 +83,8 @@ val refpath : t -> string list -> string list val get_ceil_data : (ref_node_data -> string option) -> t -> string list -> string option +val set_tag_data : t -> Config_tree.t -> string list -> Config_tree.t + +val set_leaf_data : t -> Config_tree.t -> string list -> Config_tree.t + val render_json : t -> string |