Module Flx_label


module Flx_label: sig .. end

type label_map_t = (Flx_ast.bid_t, (string, int) Hashtbl.t) Hashtbl.t 
val create_label_map : Flx_types.fully_bound_symbol_table_t ->
int Pervasives.ref -> label_map_t
type goto_kind_t = [ `Local of int | `Nonlocal of int * int | `Unreachable ] 
val find_label : Flx_types.fully_bound_symbol_table_t ->
label_map_t -> int -> string -> goto_kind_t
type label_kind_t = [ `Far | `Near | `Unused ] 
type label_usage_t = (int, label_kind_t) Hashtbl.t 
val create_label_usage : Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t ->
label_map_t -> label_usage_t
val get_label_kind : label_map_t ->
label_usage_t -> Flx_ast.bid_t -> string -> label_kind_t
val get_label_kind_from_index : label_usage_t -> int -> label_kind_t