Module Flx_use


module Flx_use: sig .. end

val find_roots : Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t ->
Flx_ast.bid_t -> Flx_types.biface_t list -> unit
val full_use_closure : Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t -> Flx_mtypes1.IntSet.t
val cal_use_closure : Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t -> bool -> Flx_mtypes1.IntSet.t
val copy_used : Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t -> Flx_types.fully_bound_symbol_table_t