Module `Flambda2_terms.Function_declarations`

type t

The part of a Set_of_closures that describes the functions therein (as opposed to the captured variables).

include Expr_std.S with type t := t

val print : Format.formatter -> t -> unit

include Flambda2_nominal.Contains_names.S with type t := t

val free_names : t -> Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : t -> Flambda2_nominal.Renaming.t -> t

Apply a renaming throughout a term.

include Flambda2_nominal.Contains_ids.S with type t := t

val ids_for_export : t -> Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

type code_id_in_function_declaration =

| Deleted of {
1. function_slot_size : int;
2. dbg : Debuginfo.t;
}
| Code_id of {
1. code_id : Flambda2_identifiers.Code_id.t;
2. only_full_applications : bool;
}

val empty : t

val is_empty : t -> bool

val create : 
  code_id_in_function_declaration Flambda2_identifiers.Function_slot.Lmap.t ->
  t

Create a set of function declarations in the given order.

val funs : 
  t ->
  code_id_in_function_declaration Flambda2_identifiers.Function_slot.Map.t

The function(s) defined by the set of function declarations, indexed by function slot.

val funs_in_order : 
  t ->
  code_id_in_function_declaration Flambda2_identifiers.Function_slot.Lmap.t

The function(s) defined by the set of function declarations, in the order originally given.

val find : 
  t ->
  Flambda2_identifiers.Function_slot.t ->
  code_id_in_function_declaration

find f t raises Not_found if f is not in t.

val binds_function_slot : t -> Flambda2_identifiers.Function_slot.t -> bool

val compare : t -> t -> int

val filter : 
  t ->
  f:
    (Flambda2_identifiers.Function_slot.t ->
      code_id_in_function_declaration ->
      bool) ->
  t

Module Flambda2_terms.Function_declarations