sig
val set_globals :
Flx_mtypes2.sym_state_t -> Flx_types.fully_bound_symbol_table_t -> unit
val check_global_vars_all_used :
Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t ->
(Flx_ast.bid_t, 'a) Hashtbl.t -> unit
end