module Flx_flxopt:sig..end
val get_felix_options : (string * string) list -> Flx_mtypes2.felix_compiler_options_tval make_syms : Flx_mtypes2.felix_compiler_options_t -> Flx_mtypes2.sym_state_tval print_options : unit -> unitval print_chosen : (string * string) list -> unit