Module `Flambda2_simplify.One_continuation_use`

module DE = Downwards_env

module T = Flambda2_types

type t

val create : 
  Flambda2_term_basics.Continuation_use_kind.t ->
  env_at_use:DE.t ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t ->
  arg_types:T.t list ->
  t

val print : Format.formatter -> t -> unit

val id : t -> Flambda2_identifiers.Apply_cont_rewrite_id.t

val use_kind : t -> Flambda2_term_basics.Continuation_use_kind.t

val arg_types : t -> T.t list

val env_at_use : t -> DE.t

val mark_non_inlinable : t -> t

Module Flambda2_simplify.One_continuation_use

Module `Flambda2_simplify.One_continuation_use`