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