sig
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 uses_type :
Flx_mtypes2.sym_state_t ->
Flx_mtypes1.IntSet.t Pervasives.ref ->
Flx_types.fully_bound_symbol_table_t -> Flx_types.btypecode_t -> unit
val uses :
Flx_mtypes2.sym_state_t ->
Flx_mtypes1.IntSet.t Pervasives.ref ->
Flx_types.fully_bound_symbol_table_t -> int -> unit
val full_use_closure :
Flx_mtypes2.sym_state_t ->
Flx_types.fully_bound_symbol_table_t -> 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
end