Ben_frontends.Frontend
val register_frontend : frontend -> unit
val get_frontend : string -> frontend
val get_selected_frontend : unit -> frontend
val set_selected_frontend : frontend -> unit
val to_string : string -> Ben.Types.expr -> string
val to_string_l : string -> Ben.Types.expr -> string list
val to_expr_l : string list -> Ben.Types.expr
val read_config : ?multi:bool -> Ben.Types.source -> Ben.Types.config
val read_ben_file : string -> Ben.Types.config