Rec_info_expr.Unrolling_state
type t = private
| Not_unrolling
Unrolling has not begun.
| Unrolling of {
remaining_depth : int;
}
Unrolling has begun and will continue until remaining_depth is zero. A subsequent unroll_to expression may increase the remaining depth.
remaining_depth
unroll_to
| 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 : t
val unrolling : remaining_depth:int -> t
val do_not_unroll : t
val print : Format.formatter -> t -> unit
val equal : t -> t -> bool
val hash : t -> int