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