Module `Flambda2_simplify.Simplify_rec_info_expr`

Simplification functions on Rec_info_expr.t.

val simplify_rec_info_expr : 
  Downwards_acc.t ->
  Flambda2_term_basics.Rec_info_expr.t ->
  Flambda2_term_basics.Rec_info_expr.t

module Evaluated_rec_info_expr : sig ... end

val evaluate_rec_info_expr : 
  Downwards_acc.t ->
  Flambda2_term_basics.Rec_info_expr.t ->
  Evaluated_rec_info_expr.t

val depth_may_exceed : 
  Downwards_acc.t ->
  Flambda2_term_basics.Rec_info_expr.t ->
  int ->
  bool

val known_remaining_unrolling_depth : 
  Downwards_acc.t ->
  Flambda2_term_basics.Rec_info_expr.t ->
  int option

val can_unroll : 
  Downwards_acc.t ->
  Flambda2_term_basics.Rec_info_expr.t ->
  bool

Module Flambda2_simplify.Simplify_rec_info_expr