Module `Flambda2_terms.Inlining_state`

Abstracts the state used during inlining.

type t

val print : Stdlib.Format.formatter -> Flambda2_terms.Inlining_state.t -> unit

val equal : 
  Flambda2_terms.Inlining_state.t ->
  Flambda2_terms.Inlining_state.t ->
  bool

val default : round:int -> Flambda2_terms.Inlining_state.t

val create : 
  arguments:Flambda2_terms.Inlining_arguments.t ->
  depth:int ->
  Flambda2_terms.Inlining_state.t

val depth : Flambda2_terms.Inlining_state.t -> int

val increment_depth : 
  Flambda2_terms.Inlining_state.t ->
  by:int ->
  Flambda2_terms.Inlining_state.t

val is_depth_exceeded : Flambda2_terms.Inlining_state.t -> bool

val meet : 
  Flambda2_terms.Inlining_state.t ->
  Flambda2_terms.Inlining_state.t ->
  Flambda2_terms.Inlining_state.t

val with_arguments : 
  Flambda2_terms.Inlining_arguments.t ->
  Flambda2_terms.Inlining_state.t ->
  Flambda2_terms.Inlining_state.t

val arguments : 
  Flambda2_terms.Inlining_state.t ->
  Flambda2_terms.Inlining_arguments.t

Module Flambda2_terms.Inlining_state