Module `Flambda2_term_basics.Rec_info_expr`

include module type of struct include Flambda2_identifiers.Int_ids.Rec_info_expr end

type variable = Flambda2_identifiers.Int_ids.Variable.t

module Unrolling_state =
  Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state

type t = private Flambda2_identifiers.Int_ids.Rec_info_expr.t =

| Const of {
1. depth : int Flambda2_numbers.Or_infinity.t;
2. unrolling : Unrolling_state.t;
}
| Var of Flambda2_term_basics.Rec_info_expr.variable
(*
A variable of kind Flambda_kind.rec_info.
*)
| Succ of Flambda2_term_basics.Rec_info_expr.t
(*
The next depth. If we inline an occurrence with depth d, then in the inlined body, recursive references will have depth succ d.
*)
| Unroll_to of int * Flambda2_term_basics.Rec_info_expr.t
(*
Indicate the depth to which unrolling should proceed. The unroll depth is decremented by Succ until it reaches zero, at which point all unrolling should stop.
*)

An expression for the state of recursive inlining at a given occurrence. Forms the right-hand side of a Let_expr binding for a depth variable.

val initial : Flambda2_term_basics.Rec_info_expr.t

val unknown : Flambda2_term_basics.Rec_info_expr.t

val do_not_inline : Flambda2_term_basics.Rec_info_expr.t

val const : 
  depth:int Flambda2_numbers.Or_infinity.t ->
  unrolling:Unrolling_state.t ->
  Flambda2_term_basics.Rec_info_expr.t

val var : 
  Flambda2_term_basics.Rec_info_expr.variable ->
  Flambda2_term_basics.Rec_info_expr.t

val succ : 
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_term_basics.Rec_info_expr.t

val unroll_to : 
  int ->
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_term_basics.Rec_info_expr.t

val is_obviously_initial : Flambda2_term_basics.Rec_info_expr.t -> bool

val equal : 
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_term_basics.Rec_info_expr.t ->
  bool

val hash : Flambda2_term_basics.Rec_info_expr.t -> int

val map_depth_variables : 
  Flambda2_term_basics.Rec_info_expr.t ->
  f:
    (Flambda2_term_basics.Rec_info_expr.variable ->
      Flambda2_term_basics.Rec_info_expr.variable) ->
  Flambda2_term_basics.Rec_info_expr.t

val erase_variables : 
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_term_basics.Rec_info_expr.t

val print : 
  Stdlib.Format.formatter ->
  Flambda2_term_basics.Rec_info_expr.t ->
  unit

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

val free_names : 
  Flambda2_term_basics.Rec_info_expr.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 : 
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_term_basics.Rec_info_expr.t

Apply a renaming throughout a term.

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

val ids_for_export : 
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

val free_names_in_types : 
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_nominal.Name_occurrences.t

Module Flambda2_term_basics.Rec_info_expr

Module `Flambda2_term_basics.Rec_info_expr`