diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/internal.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/internal.ml b/src/internal.ml index 5ee3926..3751f64 100644 --- a/src/internal.ml +++ b/src/internal.ml @@ -1,3 +1,8 @@ +(* + * A functor for 'internal' representation of Config_tree and Reference_tree. + * This is useful for avoiding re-parsing *_trees on cache and load. + *) + exception Read_error of string exception Write_error of string |