Module `Rec_info_expr.Unrolling_state`

type t = private

| Not_unrolling
(*
Unrolling has not begun.
*)
| Unrolling of {
1. remaining_depth : int;
}
(*
Unrolling has begun and will continue until remaining_depth is zero. A subsequent unroll_to expression may increase the remaining depth.
*)
| Do_not_unroll
(*
No unrolling may occur. unroll_to has no effect.
*)

The current state of unrolling. Can be set by an unroll_to expression.

val not_unrolling : 
  Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t

val unrolling : 
  remaining_depth:int ->
  Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t

val do_not_unroll : 
  Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t

val print : 
  Stdlib.Format.formatter ->
  Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t ->
  unit

val equal : 
  Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t ->
  Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t ->
  bool

val hash : Flambda2_identifiers.Int_ids.Rec_info_expr.Unrolling_state.t -> int

Module Rec_info_expr.Unrolling_state

Module `Rec_info_expr.Unrolling_state`