diff options
Diffstat (limited to 'src/startup.mli')
| -rw-r--r-- | src/startup.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/startup.mli b/src/startup.mli new file mode 100644 index 0000000..329024e --- /dev/null +++ b/src/startup.mli @@ -0,0 +1,7 @@ +val panic : string -> 'a + +val setup_logger : bool -> string option -> Lwt_log.template -> unit Lwt.t + +val load_config : string -> Vyconf_config.t + +val check_dirs : Directories.t -> unit |