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