Module Benl_frontend

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