module Benl_frontend: sig
.. end
type
frontend = {
|
name : string ; |
|
main : string list -> unit ; |
|
help : unit -> unit ; |
}
val register_frontend : frontend -> unit
val get_frontend : string -> frontend
val available_frontends : unit -> string list
val parse_common_args : string list -> string list
val check_string : string -> Benl_types.expr -> string
val check_string_list : string -> Benl_types.expr -> string list
val read_config_file : string -> (string * Benl_types.expr) list
val main : unit -> unit