Module Flambda2_simplify.Simplify_rec_info_expr
Simplification functions on Rec_info_expr.t.
val simplify_rec_info_expr :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Rec_info_expr.t ->
Flambda2_term_basics.Rec_info_expr.tmodule Evaluated_rec_info_expr : sig ... endval evaluate_rec_info_expr :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Rec_info_expr.t ->
Flambda2_simplify.Simplify_rec_info_expr.Evaluated_rec_info_expr.tval depth_may_exceed :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Rec_info_expr.t ->
int ->
boolval known_remaining_unrolling_depth :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Rec_info_expr.t ->
int optionval can_unroll :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_term_basics.Rec_info_expr.t ->
bool