sig
val get_felix_options :
(string * string) list -> Flx_mtypes2.felix_compiler_options_t
val make_syms :
Flx_mtypes2.felix_compiler_options_t -> Flx_mtypes2.sym_state_t
val print_options : unit -> unit
val print_chosen : (string * string) list -> unit
end