sig
type frontend = {
name : string;
main : unit -> unit;
anon_fun : string -> unit;
help : (Benl_arg.key * Benl_arg.spec * Benl_arg.doc) list;
}
val spec :
(Benl_arg.key * Benl_arg.spec * Benl_arg.doc) list Pervasives.ref
val register_frontend : Benl_frontend.frontend -> unit
val get_frontend : string -> Benl_frontend.frontend
val get_selected_frontend : unit -> Benl_frontend.frontend
val set_selected_frontend : Benl_frontend.frontend -> unit
val available_frontends : unit -> string list
val to_string : string -> Benl_types.expr -> string
val to_string_l : string -> Benl_types.expr -> string list
val to_expr_l : string list -> Benl_types.expr
val read_config : ?multi:bool -> Benl_types.source -> Benl_types.config
val read_ben_file : string -> Benl_types.config
end