sig
  type frontend = {
    name : string;
    main : unit -> unit;
    anon_fun : string -> unit;
    help : (Arg.key * Arg.spec * Arg.doc) list;
  }
  val spec : (Arg.key * Arg.spec * 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