(**************************************************************************)
(*                                                                        *)
(*                                 OCaml                                  *)
(*                                                                        *)
(*                     Fu Yong Quah, Jane Street Europe                   *)
(*                                                                        *)
(*   Copyright 2017 Jane Street Group LLC                                 *)
(*                                                                        *)
(*   All rights reserved.  This file is distributed under the terms of    *)
(*   the GNU Lesser General Public License version 2.1, with the          *)
(*   special exception on linking described in the file LICENSE.          *)
(*                                                                        *)
(**************************************************************************)

[@@@ocaml.warning "+a-4-9-30-40-41-42"]

type symbols_to_export =
  { symbols                               : Symbol.Set.t;
    export_ids                            : Export_id.Set.t;
    set_of_closure_ids                    : Set_of_closures_id.Set.t;
    set_of_closure_ids_keep_declaration   : Set_of_closures_id.Set.t;
    relevant_imported_closure_ids         : Closure_id.Set.t;
    relevant_local_closure_ids            : Closure_id.Set.t;
    relevant_imported_vars_within_closure : Var_within_closure.Set.t;
    relevant_local_vars_within_closure    : Var_within_closure.Set.t;
  }

(** Computes the transitive closure in [Symbol.t], [Closure_id.t] and
    [Set_of_closures_id.t] and determines which ones of those should be
    exported (i.e: included in the cmx files).
**)
val traverse
   : sets_of_closures_map: Flambda.set_of_closures Set_of_closures_id.Map.t
  -> closure_id_to_set_of_closures_id:
        Set_of_closures_id.t Closure_id.Map.t
  -> function_declarations_map:
        Simple_value_approx.function_declarations Set_of_closures_id.Map.t
  -> values: Export_info.descr Export_id.Map.t
  -> symbol_id: Export_id.t Symbol.Map.t
  -> root_symbol: Symbol.t
  -> symbols_to_export