* http://helm.cs.unibo.it/
*)
-val load_config_only: unit -> unit
+ (** {2 global initialization} *)
val initialize_all: unit -> unit
+
+ (** {2 per-components initialization} *)
+val parse_cmdline: unit -> unit (** parse cmdline setting registry keys *)
+val load_configuration_file: unit -> unit
val initialize_notation: unit -> unit
+ (** {2 Utilities} *)
+
+ (** die nicely: exit with return code 1 printing usage error message *)
+val die_usage: unit -> 'a
+