diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-10 03:50:28 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-10 03:50:28 +0700 |
| commit | f947b3e8e7b9db2fcab250ce6d8050b650130cec (patch) | |
| tree | 3f69a45fa9336c1c8a743c3080c6656ac19a5e2b /src/vytree.mli | |
| parent | 6cb2c8f1c67532f1f3a23e75b80984d40ed160d2 (diff) | |
| download | vyconf-f947b3e8e7b9db2fcab250ce6d8050b650130cec.tar.gz vyconf-f947b3e8e7b9db2fcab250ce6d8050b650130cec.zip | |
Add JSON de/serialization derivers to vytree and config tree modules.
Diffstat (limited to 'src/vytree.mli')
| -rw-r--r-- | src/vytree.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vytree.mli b/src/vytree.mli index d00d3ff..02d8edf 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -1,4 +1,4 @@ -type 'a t +type 'a t [@@deriving yojson] exception Empty_path exception Duplicate_child |