From 30a6ac8bb9faf96f79574fb16fc8765ea855a9e4 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Tue, 24 Feb 2015 22:48:50 +0600
Subject: Add make_full to Vytree for constructing nodes from scratch.

---
 src/vytree.ml  | 2 ++
 src/vytree.mli | 1 +
 2 files changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/vytree.ml b/src/vytree.ml
index 44a2a62..22b4a6d 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -12,6 +12,8 @@ exception Nonexistent_path
 
 let make name data = { name = name; data = data; children = [] }
 
+let make_full name data children = { name = name; data = data; children = children }
+
 let name_of_node node = node.name
 let data_of_node node = node.data
 let children_of_node node = node.children
diff --git a/src/vytree.mli b/src/vytree.mli
index 6a991c0..dc14b1c 100644
--- a/src/vytree.mli
+++ b/src/vytree.mli
@@ -5,6 +5,7 @@ exception Duplicate_child
 exception Nonexistent_path
 
 val make : string -> 'a -> 'a t
+val make_full : string -> 'a -> ('a t) list -> 'a t
 
 val name_of_node : 'a t -> string
 val data_of_node : 'a t -> 'a
-- 
cgit v1.2.3