jon.recoil.org

Module Int_ids.Rec_info_expr

module Unrolling_state : sig ... end
type t = private
  1. | Const of {
    1. depth : int Flambda2_numbers.Or_infinity.t;
    2. unrolling : Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t;
    }
  2. | Var of Flambda2_identifiers.Int_ids.Rec_info_expr.variable
    (*

    A variable of kind Flambda_kind.rec_info.

    *)
  3. | Succ of Flambda2_identifiers.Int_ids.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.

    *)
  4. | Unroll_to of int * Flambda2_identifiers.Int_ids.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 is_obviously_initial : Flambda2_identifiers.Int_ids.Rec_info_expr.t -> bool